io.github.lemmaoracle/mcp

up checked 2026-11-11T04:38:11.718Z

Unclaimed · Unverified

Publisher-provided description

Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.

Summary by lookupd

Retrieves ZK proof circuits, schemas, and generators and queries verified document attributes, without exposing plaintext source documents.

Install

Claude Code, remote (streamable-http)

claude mcp add --transport http mcp https://mcp.lemma.workers.dev/mcp

Claude Code, npm package (stdio)

claude mcp add mcp -- npx -y @lemmaoracle/mcp

Codex, remote (streamable-http)

codex mcp add mcp --url https://mcp.lemma.workers.dev/mcp

Codex, npm package (stdio)

codex mcp add mcp -- npx -y @lemmaoracle/mcp

Cursor, remote (streamable-http) → .cursor/mcp.json

{
  "mcpServers": {
    "mcp": {
      "url": "https://mcp.lemma.workers.dev/mcp"
    }
  }
}

Cursor, npm package (stdio) → .cursor/mcp.json

{
  "mcpServers": {
    "mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@lemmaoracle/mcp"
      ]
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Publisher-provided text

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., "subje
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 {
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
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 (
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/ve

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.github.lemmaoracle/mcp.svg)](https://lookupd.com/servers/io.github.lemmaoracle/mcp)