# 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 cryptograph…

## Quick Start

```bash
# Connect this server (installs CLI if needed)
npx -y smithery mcp add lemmaoracle/lemma

# Browse available tools
npx -y smithery tool list lemmaoracle/lemma

# Get full schema for a tool
npx -y smithery tool get lemmaoracle/lemma lemma_query_verified_attributes

# Call a tool
npx -y smithery tool call lemmaoracle/lemma lemma_query_verified_attributes '{}'
```

## Direct MCP Connection

Endpoint: `https://lemma--lemmaoracle.run.tools`

**Optional config:**
- `apiBase` (query) — Override the default Lemma API endpoint. Leave empty for production.

## Tools (5)

- `lemma_query_verified_attributes` — Query cryptographically verified attributes from Lemma. Use this as the primary tool for finding documents whose attrib…
- `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 interpr…
- `lemma_get_circuit` — Retrieve a zero-knowledge proof circuit by its circuitId via GET /v1/circuits/{circuitId}. A circuit defines the constr…
- `lemma_get_generator` — Retrieve a Lemma document generator by generatorId via GET /v1/doc-generators/{generatorId}. A generator describes how …
- `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, …

```bash
# Get full input/output schema for a tool
npx -y smithery tool get lemmaoracle/lemma <tool-name>
```