Lemma — Verifiable Provenance for AI Agents
Rank #106,893smithery/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 #106,893 of 137,138 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 30,245 of 137,138 servers on MCP Toplist.
Use Lemma — Verifiable Provenance for AI Agents
Hosted remote endpoint gated by authentication — connect via its URL and authenticate with the provider (OAuth flow or an API key/header, per its docs).
claude mcp add --transport http lemma https://server.smithery.ai/lemmaoracle/lemma/mcpThis endpoint requires authentication — see the server’s docs for credentials.
[mcp_servers.lemma]
url = "https://server.smithery.ai/lemmaoracle/lemma/mcp"Add to ~/.codex/config.toml. This endpoint requires authentication — see the server’s docs for credentials.
https://server.smithery.ai/lemmaoracle/lemma/mcpSettings → Connectors → “Add custom connector”, then paste this URL. This endpoint requires authentication — see the server’s docs for credentials.
{
"mcpServers": {
"lemma": {
"url": "https://server.smithery.ai/lemmaoracle/lemma/mcp"
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project). This endpoint requires authentication — see the server’s docs for credentials.
{
"servers": {
"lemma": {
"type": "http",
"url": "https://server.smithery.ai/lemmaoracle/lemma/mcp"
}
}
}Save as .vscode/mcp.json in your workspace. This endpoint requires authentication — see the server’s docs for credentials.
{
"mcpServers": {
"lemma": {
"serverUrl": "https://server.smithery.ai/lemmaoracle/lemma/mcp"
}
}
}Add to ~/.codeium/windsurf/mcp_config.json. This endpoint requires authentication — see the server’s docs for credentials.
{
"mcpServers": {
"lemma": {
"url": "https://server.smithery.ai/lemmaoracle/lemma/mcp"
}
}
}This endpoint requires authentication — see the server’s docs for credentials.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/smithery%2Flemmaoracle%2Flemma)<a href="https://mcptoplist.com/server/smithery%2Flemmaoracle%2Flemma"><img src="https://mcptoplist.com/badge/smithery%2Flemmaoracle%2Flemma.svg" alt="MCP Toplist: #106,893 of 137,138" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
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
- Is Lemma — Verifiable Provenance for AI Agents listed on the Official MCP Registry?
- 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.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.