MCP.Market

Lemmaoracle MCP server

online · 100% uptime
by lemmaoracle·io.github.lemmaoracle/mcp·v0.0.17·1 stars
No reviews yet

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

A90/100grade A
Write a reviewRun it
What users say
No reviews yet
Be the first
Safety scan
A90/100

full report

Adoption
Growing

1 stars45 downloads/wk

Reviews

Write one

Nobody has reviewed Lemmaoracle yet.

If you have run it, two minutes of your experience saves the next person an afternoon.

Lemmaoracle tools (5)

write = sends, deletes, buys or posts
  • lemma_get_circuitFree

    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_generatorFree

    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_statusFree

    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_schemaFree

    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_attributesFree

    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`.

Public scan report

scanner v0.1.9 · 2026-09-27 · same rubric, same numbers if you re-run it

no findings
  • Code scan35 source files scanned25/25
  • Live reliabilityremote reachable in 520ms20/20
  • Tool poisoning5 tool descriptions checked15/15
  • Auth qualityAPI key sent as a header8/15
  • Maintenancelast push 0 days ago15/15
  • Maintainer identityregistry namespace matches repository owner7/10
Overall 90/100. Components that don't apply are left out of the denominator. Any critical finding is an F.RubricAppeal a findingJSON

How Lemmaoracle compares

Against every graded MCP server, from our own scans and uptime checks. Updated after each scan run.

Safety score
90/100
higher than 83% of 48,255 servers
Tools
5
the typical server has 7
Tools that change things
0%
typical: 0%. Fewer write tools means less an agent can break
Uptime
100%
of our recent checks; the typical remote server answers 100%
Response time
136 ms
faster than 76% of 30,031 servers
GitHub stars
1
more than 65% of 28,688 servers
Downloads a week
45
more than 37% of 12,191 servers with a package

What its tools let an agent do: 5 read

Install Lemmaoracle in Claude Code, Cursor or VS Code

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

What the publisher says

From the Lemmaoracle repository's README, as published. We do not edit it. Read it on GitHub

Lemma Oracle

Give AI proven facts.

Lemma is a cryptographically verified truth layer for agent AI. It lets AI reason over confidential data via zero-knowledge proofs, selective disclosure, and tamper-evident provenance — while raw content stays encrypted.

Every attribute an AI reads through Lemma carries permanent provenance: who issued it, which schema defined it, how it was proven, and where its verification record is anchored.

Learn more

  • 🌐 Website: https://lemma.frame00.com
  • 📄 Services: https://lemma.frame00.com/services
  • ✍️ Blog & essays: https://lemma.frame00.com/blog
  • ❓ FAQ: https://lemma.frame00.com/blog/faq

MCP server

@lemmaoracle/mcp is the Model Context Protocol (MCP) server for Lemma, published on npm and built with the official MCP SDK (@modelcontextprotocol/sdk). Point Claude Desktop or any MCP-compatible agent at it:

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

Tool list, env vars, and contributor build: packages/mcp/README.md · npm

Packages

Public packages in this monorepo:

  • packages/mcp/ — @lemmaoracle/mcp, the Model Context Protocol (MCP) server for AI agents (this is the package above).
  • packages/sdk/ — @lemmaoracle/sdk, TypeScript SDK for the Lemma API.
  • packages/spec/ — @lemmaoracle/spec, OpenAPI spec + shared TypeScript types.
  • packages/x402/ — @lemmaoracle/x402, x402 payment middleware drop-in.

Contact

For partnership and implementation inquiries, please use the contact form: https://lemma.frame00.com/services

License

This repository uses different licenses for different packages:

The root LICENSE file applies as the default. Each package may contain its own LICENSE file that takes precedence.

© 2026 FRAME00 Inc.

🇯🇵 日本語版はこちら / Japanese README

Nothing above is checked by us. What we check is on the safety report.

Lemmaoracle: common questions

Is Lemmaoracle MCP server safe?
Yes, by our scan: it is graded A (90/100). Read the Lemmaoracle safety report
How do I install Lemmaoracle?
It runs remotely at mcp.lemma.workers.dev. Add it to Claude Code, Cursor, VS Code or Claude Desktop with the snippets above, or call it through the mcp.market gateway without installing anything.
Does Lemmaoracle need an API key?
Yes. The registry entry asks for LEMMA_API_KEY, Authorization.
Is Lemmaoracle maintained?
The last commit was 38 days ago (2026-09-27). The latest release is v0.0.17.
Is Lemmaoracle up?
100% of our last 28 checks got an answer. We check remote servers about four times a day.
How does Lemmaoracle compare with other MCP servers?
safety score 90/100 (higher than 83% of 48,255 servers); tools 5 (the typical server has 7); tools that change things 0% (typical: 0%. Fewer write tools means less an agent can break). Full comparison.