Lemma — Proof Infrastructure for AI MCP

Name: Lemma — Proof Infrastructure for AI MCP
Author: lemmaoracle

@lemmaoracleMCP server · External

Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.

Identity verificationv0.0.17Astro

Freeno charge per call

One address for any MCP client. No sign-in needed on this server.

What it does

5 read

Grouped by tool name. At most: only reads or looks up information.

What it costs

Free

Odel charges nothing per call. The publisher may charge for its own service.

Tools

5 · grouped by tool name · checked 10 Oct 2026

Read · 5Look things up

lemma_query_verified_attributes
lemma_get_schema
lemma_get_circuit
lemma_get_generator
lemma_get_proof_status

Try it in the Inspector

README1 min readView on GitHub

Lemma Oracle

Give AI proven facts.

Lemma is a cryptographically verified truth layer for agent AI. It lets AI reason over confidential data via zero-knowledge proofs, selective disclosure, and tamper-evident provenance — while raw content stays encrypted.

Every attribute an AI reads through Lemma carries permanent provenance: who issued it, which schema defined it, how it was proven, and where its verification record is anchored.

Learn more

🌐 Website: https://lemma.frame00.com
📄 Services: https://lemma.frame00.com/services
✍️ Blog & essays: https://lemma.frame00.com/blog
❓ FAQ: https://lemma.frame00.com/blog/faq

MCP server

@lemmaoracle/mcp is the Model Context Protocol (MCP) server for Lemma, published on npm and built with the official MCP SDK (@modelcontextprotocol/sdk). Point Claude Desktop or any MCP-compatible agent at it:

json

{
  "mcpServers": {
    "lemma": {
      "command": "npx",
      "args": ["-y", "@lemmaoracle/mcp"],
      "env": { "LEMMA_API_KEY": "YOUR_API_KEY" }
    }
  }
}

Tool list, env vars, and contributor build: packages/mcp/README.md · npm

Packages

Public packages in this monorepo:

packages/mcp/ — @lemmaoracle/mcp, the Model Context Protocol (MCP) server for AI agents (this is the package above).
packages/sdk/ — @lemmaoracle/sdk, TypeScript SDK for the Lemma API.
packages/spec/ — @lemmaoracle/spec, OpenAPI spec + shared TypeScript types.
packages/x402/ — @lemmaoracle/x402, x402 payment middleware drop-in.

Contact

For partnership and implementation inquiries, please use the contact form: https://lemma.frame00.com/services

License

This repository uses different licenses for different packages:

Package	License
`packages/contracts`, `packages/relay`, `packages/passthrough`	BUSL-1.1 (changes to Apache-2.0 on 2030-05-01)
`packages/sdk`, `packages/spec`, `packages/mcp`, `packages/parser`, `packages/x402`	Apache-2.0
`packages/web`	Private (not distributed)