mcpbeat Sign in

Lemmaoracle MCP Server

by lemmaoracle Your server? Claim it
answering

Lemmaoracle is answering right now. Last checked 3 min ago. 52 installs a week from npm. It exposes 5 tools. Last commit 17 Sep 2026.

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

Installs per day peak 31 · avg 8 · +2% w/w
a month agotoday
Uptime history 48 days of history
48 days agonow
100.0%
Uptime 24h
92 of 92 checks
5
Tools
read from the server
179 ms
Response time
average over 24h
52
Installs / week
npm and PyPI

What the code does

We read the source, 22 h ago · tools taken from the live server · rules 3dff92dd89df

Capabilities

What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.

Builds a file path from a variable packages/verify/src/cache.ts:48
            .then(([fs, path]) => fs.readFile(path.join(dir, cid)))
        "input": "0x6080604052348015600e575f5ffd5b506106028061001c5f395ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c806311479fea1461002d575b5f5ffd5b61004061003b36600461056a565b610054565b604051901515815260200160405180910390f35b5f61050c565b7f30644e72e131a029b850…
<script async is:inline src="https://tally.so/widgets/embed.js"></script>

Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.

This code can reach further than it looks

We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.

Three servers free · no card

Connect this server

Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 3 min ago.

run in your terminal
claude mcp add mcp --transport http https://mcp.lemma.workers.dev/mcp
~/Library/Application Support/Claude/claude_desktop_config.json
{
  "mcpServers": {
    "mcp": {
      "url": "https://mcp.lemma.workers.dev/mcp"
    }
  }
}
~/.codex/config.toml
[mcp_servers.mcp]
url = "https://mcp.lemma.workers.dev/mcp"
.cursor/mcp.json
{
  "mcpServers": {
    "mcp": {
      "url": "https://mcp.lemma.workers.dev/mcp"
    }
  }
}
.vscode/mcp.json
{
  "mcpServers": {
    "mcp": {
      "url": "https://mcp.lemma.workers.dev/mcp"
    }
  }
}

This one needs environment variables set before it will start: LEMMA_API_KEY (Lemma API key (Bearer token). Get one at https://lemma.frame00.com/services), LEMMA_API_BASE (Optional API base URL. Defaults to production endpoint.). The author declared them in the registry entry; get the values from the project itself.

Available tools 5

Read directly from the server with tools/list, grouped by what they act on. If a tool disappears, we record the date.

lemma
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'|'offchain', address?, chainId? }, artifact?: { location: { type: 'ipfs'|'https', wasm, zkey } } }. Use this before lemma_submit_proof to confirm the circuit's schema, public inputs, and verifier configuration. Circuits are immutable; new variants get new circuitIds.
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?, source?: { type: 'url', uri }, inputsSpec?, outputsSpec? }. Each generator is bound to one schema. Use this when onboarding a new issuer or auditing how an existing schema is being populated.
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 filter). Returns { status, circuitId, chainId, docHash } extracted from the matched item, or undefined if the verificationId is unknown. Status enum: received | verified | onchain-verified | rejected. Use the SDK's isVerified() helper (or check status === 'verified' || status === 'onchain-verified') to determine cryptographic validity.
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 maps raw documents to canonical form) and its content hash. Use this when you need to interpret attribute keys returned by lemma_query_verified_attributes.
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?: { status, circuitId, chainId }, disclosure? }>, hasMore }. The MCP layer enriches each item with an `isVerified` flag derived from `proof.status` (true when status is 'verified' or 'onchain-verified'). Use lemma_get_proof_status to monitor a specific proof; use lemma_get_schema to interpret the keys returned in `attributes`.

Endpoints

URLTransportStateLatencyChecked
https://mcp.lemma.workers.dev/mcp streamable-http answering 150 ms 3 min ago

Alternatives to Lemmaoracle

same job, measured the same way
Omitly MCP
by omitly

Omitly's local, verifiable PDF redaction for AI agents — your documents never leave your device.

429 installs/wk local only
blue·auth Document Signing
by ricdanyalgil

Send AI-created PDFs for signature, track signers, and return verifiable document evidence.

answering
Waxseal
by degenlegion-com

Ed25519 identity for AI agents. Verify seals, sign documents, gate actions with approvals.

49 installs/wk local only
Intenttext MCP
by intenttext

Parse, validate, query, and render IntentText (.it) documents for AI agents

47 installs/wk local only
File AI
by flyfish-dev

Agent-ready local document context with stable anchors.

31 installs/wk local only
Groupdocs Signature MCP
by groupdocs-signature

MCP server for GroupDocs.Signature — sign, search and verify document signatures via AI agents.

local only
MCP Onfido
by codespar

MCP server for Onfido — global identity verification + KYC: applicants, documents, checks, workflows

21 installs/wk local only
OpenArx
by openarx

Open scientific and engineering knowledge for AI agents: search, evidence, document publishing.

answering

Lemmaoracle — questions

Answers built from our own checks of this server.

What can Lemmaoracle do?
It exposes 5 tools, read directly from the server on our last check. Among them: lemma_get_circuit, lemma_get_generator, lemma_get_proof_status, lemma_get_schema, lemma_query_verified_attributes. The full list with descriptions is on this page — we take it from the server itself via tools/list, not from a README. How MCP servers expose tools in the first place →
Is Lemmaoracle working right now?
We send a real MCP handshake every 15 minutes. Over the last 24 hours 92 of 92 checks got a reply (100.0%), average response time 179 ms. The bar chart above shows every period we have measured.
How do I connect Lemmaoracle?
Copy the ready config from this page — we generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each with the file path that client actually reads. It is a remote server, so there is nothing to install — the client connects to the address.
Does Lemmaoracle need an API key?
No. Lemmaoracle completed a full MCP handshake with us as an anonymous client and listed its tools without asking for anything. All 5 of them are readable on this page. This is what we observed, not what the docs claim.
How fast is Lemmaoracle?
It answers our handshake in 179 ms on average, which is faster than 70% of all working MCP servers we measure. The comparison comes from our own checks across the whole registry, every 15 minutes.
How many people use Lemmaoracle?
The npm package @lemmaoracle/mcp was installed 52 times in the last week. Week over week that is +2%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.
Is Lemmaoracle open source?
We cannot say either way: written in Astro, 1 stars on GitHub and 4 open issues, but we could not determine the licence, and without one the code is not open source by default.