Lemma — Verifiable Provenance for AI Agents
Rank #57846smithery/lemmaoracle/lemma
AI agents make decisions you can't audit. Lemma fixes that with zero-knowledge proofs over confidential documents — selective disclosure, on-chain provenance, no plaintext exposure. Query cryptographically verified attributes from agents in production. Built for regulated industries and x402/MCP-native developers. Models change. Proofs remain.
Lemma — Verifiable Provenance for AI Agents is a Model Context Protocol (MCP) server. It ranks #57846 of 58,832 servers tracked on MCP Toplist. Lemma — Verifiable Provenance for AI Agents is listed on Smithery, and ships as a single rolling release with no explicit version metadata. It was first listed on May 1, 2026.
Ranks ahead of 986 of 58,832 servers on MCP Toplist.
Use Lemma — Verifiable Provenance for AI Agents
Lemma — Verifiable Provenance for AI Agents doesn’t publish a machine-readable install config. Open one of its registry listings above to find install instructions.
Listed on 1 registry
Not versioned
This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- What is Lemma — Verifiable Provenance for AI Agents?
- AI agents make decisions you can't audit. Lemma fixes that with zero-knowledge proofs over confidential documents — selective disclosure, on-chain provenance, no plaintext exposure. Query cryptographically verified attributes from agents in production. Built for regulated industries and x402/MCP-native developers. Models change. Proofs remain.
- Is Lemma — Verifiable Provenance for AI Agents an official MCP server?
- Lemma — Verifiable Provenance for AI Agents is not on the Official MCP Registry. It is listed on Smithery.
- How many versions does Lemma — Verifiable Provenance for AI Agents have?
- Lemma — Verifiable Provenance for AI Agents ships as a single rolling release with no explicit version metadata.