Lemmaoracle MCP server

Lemmaoracle is an MCP server with 5 tools an agent can call, among them lemma_get_circuit, lemma_get_generator, lemma_get_proof_status. It answers at https://mcp.lemma.workers.dev/mcp over streamable HTTP, and it listed its tools to an anonymous client, so no sign-in was needed for that. Our probes reached it 6 of 6 times since 11 September 2026; the last check, on 22 October 2026, succeeded.

Status

Answering

Tools

Reliability

6 of 6 checks

Response time

244 ms

Transport

streamable HTTP

Last checked

22 October 2026

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

Description as the publisher wrote it.

The 5 tools Lemmaoracle offers

Tool	What it does
`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?, input Inputs: circuitId
`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 { gene Inputs: generatorId
`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 returne Inputs: verificationId
`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 in Inputs: id
`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, Inputs: attributes, schemas, chainIds, limit, offset

Add Lemmaoracle to your AI client

Every block below points at https://mcp.lemma.workers.dev/mcp. Pick your client and copy.

Claude Code: one command in your terminal

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

Claude Desktop: claude_desktop_config.json

{
  "mcpServers": {
    "lemmaoracle": {
      "command": "npx",
      "args": ["-y", "mcp-remote", "https://mcp.lemma.workers.dev/mcp"]
    }
  }
}

Cursor: ~/.cursor/mcp.json, or .cursor/mcp.json in a project

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

VS Code and GitHub Copilot: .vscode/mcp.json

{
  "servers": {
    "lemmaoracle": {
      "type": "http",
      "url": "https://mcp.lemma.workers.dev/mcp"
    }
  }
}

Zed: Zed settings.json

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

Windsurf: ~/.codeium/mcp_config.json

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

JetBrains AI Assistant: Settings, Tools, AI Assistant, MCP, New MCP Server, as JSON

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

Continue: .continue/mcpServers/neuronto.yaml

name: Lemmaoracle
version: 0.0.1
schema: v1
mcpServers:
  - name: Lemmaoracle
    type: streamable-http
    url: https://mcp.lemma.workers.dev/mcp

Gemini CLI: ~/.gemini/settings.json

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

Codex CLI: MCP server config

{
  "mcpServers": {
    "lemmaoracle": {
      "type": "http",
      "url": "https://mcp.lemma.workers.dev/mcp"
    }
  }
}

Warp: MCP servers, + Add, paste JSON

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

Goose: a one-click extension link

goose://extension?url=https%3A%2F%2Fmcp.lemma.workers.dev%2Fmcp&type=streamable_http&id=lemmaoracle&name=Lemmaoracle

Is Lemmaoracle up right now?

It answered our last check on 22 October 2026 in 244 ms. Over 6 checks since 11 September 2026 it answered 6. Status here comes from Neuronto's own probes, not from the publisher.

MCP servers similar to Lemmaoracle

FiledProof12 tools FilmRightsProof2 tools Data Access6 tools Dokimo3 tools KnownGate4 tools FilmRightsProof2 tools

Questions about Lemmaoracle

How many tools does Lemmaoracle have?

5, as returned by the server's own tools/list on 15 September 2026: lemma_get_circuit, lemma_get_generator, lemma_get_proof_status, lemma_get_schema, lemma_query_verified_attributes.

Is Lemmaoracle down?

It answered our last check on 22 October 2026 in 244 ms. Over 6 checks since 11 September 2026 it answered 6.

How do I add Lemmaoracle to Cursor?

Put the server under mcpServers in ~/.cursor/mcp.json with the URL https://mcp.lemma.workers.dev/mcp. The exact JSON is above, with the same setup for Claude Code, Claude Desktop, VS Code, Windsurf, Zed, Gemini CLI and the rest.

Does Lemmaoracle need an API key?

It listed its tools to an anonymous client, so reading the tool list needs no key. Individual tools can still ask for credentials in their own inputs.

Where this comes from

Publisher: io.github.lemmaoracle. Endpoint host: mcp.lemma.workers.dev. ARD identifier: urn:air:io.github.lemmaoracle:mcp:mcp. First indexed 10 September 2026. The tools are exactly what the server returned; nothing on this page is inferred from its name. Ranking in Neuronto search is never for sale.

Is this your server? Get a message the day it stops answering or its tools change: monitoring, 14 days free. Or claim the domain to manage how it is listed.