io.github.lemmaoracle/mcp
io.github.lemmaoracle/mcp · v0.0.17 · MCP 2025-11-25
Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.
Reachability
reachable
checked 2026-07-14 04:08 UTC
Registry status active
Tools pinned 5
9f1bb4ec3ab5
Tools last changed
unchanged since first capture 2026-07-14
Repo last push 2026-07-13
GitHub stars 2
Provenance
Registry namespace io.github.lemmaoracle
(GitHub-account verified by the official registry)
Repository
github.com/lemmaoracle/lemma
Website
https://lemma.frame00.com
Remote endpoints
https://mcp.lemma.workers.dev/mcp (streamable-http)
Observed changes
| When (UTC) | Event | Detail |
|---|---|---|
| 2026-07-14 04:08 | first capture | 5 tools pinned |
Pinned tool definitions (5)
| Tool | Description |
|---|---|
| lemma_query_verified_attributes | Query cryptographically verified attributes from Lemma. Use this as the primary tool for finding documents whose attributes match given conditions (e.g., "subject's birthYear lt 2008"). Returns { results: Array<{ docHash, schema,... |
| lemma_get_schema | Retrieve a Lemma schema by its ID via GET /v1/schemas/{id}. A schema declares how documents of a given type are interpreted and normalized. Returns SchemaMeta { id, description? } with additionalProperties open — implementations... |
| lemma_get_circuit | Retrieve a zero-knowledge proof circuit by its circuitId via GET /v1/circuits/{circuitId}. A circuit defines the constraints that proofs must satisfy and binds to a single schema. Returns CircuitMeta { circuitId, schema, description?,... |
| lemma_get_generator | Retrieve a Lemma document generator by generatorId via GET /v1/doc-generators/{generatorId}. A generator describes how a class of source documents is produced (e.g., what fields a 'KYC-v2' issuer must populate). Returns GeneratorMeta {... |
| lemma_get_proof_status | Get the verification status of a proof. NOTE: the v2 API does not yet expose a dedicated GET /v1/proofs/{id} endpoint, so this tool internally calls POST /v1/verified-attributes/query filtered by docHash (treating the verificationId... |
Status badge
[](https://toolpin.dev/servers/io.github.lemmaoracle/mcp)
Maintain this server? Add the badge to your README — it links your users to this live status page.