MCP
by lemma.workers.dev in Documents & files
Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.
https://mcp.lemma.workers.dev/mcp
Last 30 days
- Uptime
- 100%
- Response time
- 217 ms typical, 217 ms slowest 5%
- Last check
- 5 h ago
- Next check
- in 59 min
How to call it
Add it to any MCP client that supports remote servers.
{
"mcpServers": {
"mcp-251": {
"type": "http",
"url": "https://mcp.lemma.workers.dev/mcp"
}
}
}5 tools
- 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, issuerId, subjectId, attributes, isVerified, proof
- 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 commonly include a `normalize` artifact (WASM that
- 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?, inputs?, verifier?: { type: 'onchain'|'offcha
- 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 { generatorId, schema, description?, language?
- 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 returned from lemma_submit_proof as a docHash f
Security scan
- No findings. We scan names, descriptions and tool definitions for hidden instructions and other prompt-injection patterns.
Recent checks
| When | Result | HTTP | Time |
|---|---|---|---|
| 5 h ago | Passed | 200 | 247 ms |
| 14 h ago | Passed | 200 | 217 ms |