Lemma Oracle
MCP serverDocs & knowledgeYour AI can prove where its information came from without ever revealing the documents behind it. It works with confidential documents by producing cryptographic proofs that a claim is true, so no document text is ever exposed. Sensitive material stays private while the information taken from it can still be verified.
Available today. Use it from your connected AI after setup.
Needs your own account with this service. Credentials stay encrypted.
After adding it, give your AI the confidential documents you want it to work from. When it answers, ask it to show proof of where each claim came from.
Then ask your AI: use the lemma query verified attributes tool from Lemma Oracle
What your AI can do with it
- Prove that a statement comes from a real document
- Verify claims against confidential documents without revealing their contents
- Keep sensitive document text hidden at all times
- Produce proof that an answer's source can be checked
- Work with private documents without exposing what they say
From the project's README
As published by lemmaoracle/lemma in README.md.
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:
{
"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) |
The root LICENSE file applies as the default. Each package may contain its own LICENSE file that takes precedence.
© 2026 FRAME00 Inc.
Tools it offers (5)
What this server listed when ahel dialed its public endpoint in Sep 2026, with no key and no account of yours. The names are the server’s own.
lemma_query_verified_attributeslemma_get_schemalemma_get_circuitlemma_get_generatorlemma_get_proof_status
Signals
- GitHub stars
- 1
- Forks
- 2
- Last commit
- Sep 2026
Advanced
- Delivery
- mcp MCP server → your ahel gateway (mcp.ahel.ai) → every connected AI client.
- Catalog kind
- mcp-server
- Gateway key
io-github-lemmaoracle-mcp- Source
- github.com/lemmaoracle/lemma
- Hosted endpoint
https://mcp.lemma.workers.dev/mcp