MCPs › Dev tools › 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.
Not monetized yet
Turn Lemma — Verifiable Provenance for AI Agents’s tool calls into revenue: one disclosed sponsored slot, 70% revenue share, fail-open by design.
Install Lemma — Verifiable Provenance for AI Agents
For anyone using Lemma — Verifiable Provenance for AI Agents — no Lulu account neededclaude mcp add --transport http lemma---verifiable-provenance-for-ai-agents https://lemma--lemmaoracle.run.tools
9 field-tested tactics as a designed playbook plus skills your coding agent can run. Free.
Get the Kit →FAQ
Run: claude mcp add --transport http lemma---verifiable-provenance-for-ai-agents https://lemma--lemmaoracle.run.tools
Yes — it’s a remote MCP server, so no local install is needed.
ChatGPT: Settings → Connectors → Advanced → Developer mode → Add connector, then paste https://lemma--lemmaoracle.run.tools.
Claude.ai: Settings → Connectors → Add custom connector, then paste the same URL.
Unrated out of 100, computed from cross-registry traction signals (installs, stars, registry presence) — never influenced by sponsorship.
Similar servers
Works well together