Lemmaoracle is answering right now. Last checked 14 min ago. 52 installs a week from npm. It exposes 5 tools. Last commit 2 Nov 2026.
Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.
What the code does
We read the source, 1 d ago · tools taken from the live server · rules 995398eba69f
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.
.then(([fs, path]) => fs.readFile(path.join(dir, cid)))
subprocess.run(
"input": "0x6080604052348015600e575f5ffd5b506106028061001c5f395ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c806311479fea1461002d575b5f5ffd5b61004061003b36600461056a565b610054565b604051901515815260200160405180910390f35b5f61050c565b7f30644e72e131a029b850…
if(EN[k]) n.innerHTML=EN[k];
<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.
Connect this server
Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 14 min ago.
claude mcp add mcp --transport http https://mcp.lemma.workers.dev/mcphttps://mcp.lemma.workers.dev/mcp[mcp_servers.mcp]
url = "https://mcp.lemma.workers.dev/mcp"{
"mcpServers": {
"mcp": {
"url": "https://mcp.lemma.workers.dev/mcp"
}
}
}{
"servers": {
"mcp": {
"type": "http",
"url": "https://mcp.lemma.workers.dev/mcp"
}
}
}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_get_circuit
lemma_get_generator
lemma_get_proof_status
lemma_get_schema
lemma_query_verified_attributes
Endpoints
| URL | Transport | State | Latency | Checked |
|---|---|---|---|---|
| https://mcp.lemma.workers.dev/mcp | streamable-http | answering | 124 ms | 14 min ago |
Alternatives to Lemmaoracle
same job, measured the same wayOmitly's local, verifiable PDF redaction for AI agents — your documents never leave your device.
Send AI-created PDFs for signature, track signers, and return verifiable document evidence.
Local search over your code and documents for AI agents.
Document conversion and OCR for AI agents: PDF, Office docs, images to text.
Independent verifier for AI agents: checks agent claims and doc promises against the code.
Executable skill packages for agents: vetted competence, ready to run, not just documents.
Ed25519 identity for AI agents. Verify seals, sign documents, gate actions with approvals.
Parse, validate, query, and render IntentText (.it) documents for AI agents
Lemmaoracle — questions
Answers built from our own checks of this server.