SmitheryListed
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.
First seen 2 Oct 2026. Evidence as of 5 Oct 2026.
-
Tools
No tool list captured yet
1
Source listings
Each with its own history
0
Recorded changes
Since first seen
Tools
No tool list captured yet.
Change history
No changes since the first observation. The first snapshot is the baseline.
| Source | Listing | First seen | Last seen | Versions |
|---|---|---|---|---|
| Smithery | lemmaoracle/lemma | 2 Oct 2026 | 5 Oct 2026 | 1 |