Lemmaoracle MCP

Name: Lemmaoracle MCP
Author: lemmaoracle

by lemmaoracleversion 0.0.17i★ –iComputer or cloud

Registry nameio.github.lemmaoracle/mcp

Install

Overview

Description from the maker (original English)

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

PopNx MCP’s three pillars

These three are never merged into one score: opinions, measurements and popularity are different things.

User voiceiNo reviews yetReviews open together with accounts in a later step
Our basic checksi1 of 1 passedChecked from public information; code not scanned yet
UsageiNot measured yet★ –

What you can do with it

We have not written a plain-language summary for this one yet. Below are the facts we read from the registry.

Connection: Computer or cloud
Transport: stdio, Streamable HTTP
Category: Other
You need to fill in: LEMMA_API_KEY, Authorization

Install

Pick the AI app you use, then copy the settings.

Before you install

Basic checks: 1 of 1 passed
Runs on the maker’s server: what you ask it goes through their server.
You fill in yourself: LEMMA_API_KEY, LEMMA_API_BASE, Authorization

Values marked secret are keys to your account. Never share them or paste them into a chat.

You need

Runs in the cloudNothing to install; it connects over the internet
npmNode.js installed (for the npx command)

Which app do you use?

ClaudeClaude CodeCursorVS CodeChatGPT

Pick your app above. We remember it, so next time the button says “Install in …”.

This address needs a key in a request header, which the add-connector menu cannot set. Use Claude Code, Cursor or VS Code instead.

Or run it on your computer

Open Claude Desktop → Settings → Developer → Edit Config, and paste this into claude_desktop_config.json

{
  "mcpServers": {
    "lemmaoracle": {
      "command": "npx",
      "args": [
        "-y",
        "@lemmaoracle/mcp"
      ],
      "env": {
        "LEMMA_API_KEY": "your-value",
        "LEMMA_API_BASE": "your-value"
      }
    }
  }
}

Run this in your terminal

claude mcp add --transport http lemmaoracle https://mcp.lemma.workers.dev/mcp --header 'Authorization: your-value'

Or run it on your computer

claude mcp add lemmaoracle --env LEMMA_API_KEY=your-value --env LEMMA_API_BASE=your-value -- npx -y @lemmaoracle/mcp

Fill in the empty values before running it.

Open in Cursor

Or copy the settings yourself

Paste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json

{
  "mcpServers": {
    "lemmaoracle": {
      "url": "https://mcp.lemma.workers.dev/mcp",
      "headers": {
        "Authorization": "your-value"
      }
    }
  }
}

Or run it on your computer

Open in Cursor

Or copy the settings yourself

Paste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json

{
  "mcpServers": {
    "lemmaoracle": {
      "command": "npx",
      "args": [
        "-y",
        "@lemmaoracle/mcp"
      ],
      "env": {
        "LEMMA_API_KEY": "your-value",
        "LEMMA_API_BASE": "your-value"
      }
    }
  }
}

Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.

Open in VS Code

Or copy the settings yourself

Paste into .vscode/mcp.json in your project

{
  "servers": {
    "lemmaoracle": {
      "type": "http",
      "url": "https://mcp.lemma.workers.dev/mcp",
      "headers": {
        "Authorization": "your-value"
      }
    }
  }
}

Or run it on your computer

Open in VS Code

Or copy the settings yourself

Paste into .vscode/mcp.json in your project

{
  "servers": {
    "lemmaoracle": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "@lemmaoracle/mcp"
      ],
      "env": {
        "LEMMA_API_KEY": "your-value",
        "LEMMA_API_BASE": "your-value"
      }
    }
  }
}

Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.

This address needs a key in a request header, which the add-connector menu cannot set. Use Claude Code, Cursor or VS Code instead.

Your choice stays on this device in a cookie; no account needed.

Values you fill in

LEMMA_API_KEY secret required env
Lemma API key (Bearer token). Get one at https://lemma.frame00.com/services
LEMMA_API_BASE env
Optional API base URL. Defaults to production endpoint.
Authorization secret required HTTP header
Lemma API key as Bearer token. Format: 'Bearer '. Get a key at https://lemma.frame00.com/services

These settings are generated from the maker’s registry entry. If the README says otherwise, follow the README.

What it can do

We have not read this server’s tool list yet; we check endpoints in rotation.

Basic checksi

We check information anyone can see; we have not read the code. Checks that do not apply are left out of the count. · Checked Nov 7, 2026

✓ Pass
Maker matches the repo
The registry name was verified with the GitHub account lemmaoracle, which owns the repo
… Not checked yet
Still maintained
We have not read this repo from GitHub yet
… Not checked yet
Has a licence
We have not read this repo from GitHub yet
… Not checked yet
Endpoint responds
Not checked yet; we check endpoints in rotation
… Not checked yet
Sign-in with OAuth
Not checked yet; we check endpoints in rotation
… Not checked yet
No hidden instructions in tool descriptions
Not checked yet; we read the tool list when we check the endpoint

Compared with others in Otheri

More stars than 0% of the other 32568 servers in this category
Published to the registry more recently than 10% of the other 32568 servers in this category
Basic checks equal to or better than 100% of the other 32568 servers in this category

Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.

Common questions

Is Lemmaoracle MCP safe?

It passed 1 of 1 applicable basic checks. We have not read the code. Before adding a key or token, see what access the server asks for and use a key with only the permissions you need.

What keys or codes does it need?

You need to fill in: LEMMA_API_KEY, Authorization

Does it run on my computer or in the cloud?

Either way works: install it on your computer or connect to the cloud version.

Is it still maintained?

The GitHub repo last changed –, and the latest version (0.0.17) reached the registry 6 months ago.

Which apps can use it?

Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. It connects by URL, so apps that accept remote MCP servers work too, such as ChatGPT in developer mode.

What can I use instead?

In the same category: Spec Driven Development, Remote Desktop Commander, FlyDocs

Alternatives

Servers in the same category from other makers, sorted by stars.

Reading a card:★ GitHub starsiThree pillars: reviews · checks · usageiUpdated = latest version published to the registryi

Spec Driven Development

by formulahendry

MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.

Runs on your computer★ 440MITUpdated 14 months ago

Install

Remote Desktop Commander

by desktop-commander

Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.

Runs in the cloud★ 211Updated yesterday

Install

FlyDocs

by flydocs.ai

Spec-driven development workflow: your agent works issues, sessions and the status lifecycle.

Runs on your computerUpdated today

Install

README from the maker

Open the README

Copied from the maker’s repo as written. PopNx MCP has not reviewed or endorsed it. HTML, images and scripts are removed. Links lead off this site.

`@lemmaoracle/mcp`

@lemmaoracle/mcp is the Model Context Protocol (MCP) server that gives AI agents access to Lemma's verifiable provenance layer — query cryptographically verified attributes (zero-knowledge proofs, selective disclosure, tamper-evident provenance) from confidential documents without ever exposing the plaintext.

Models change. Proofs remain.

What is this?

This is an MCP server. MCP (Model Context Protocol) is the open protocol for connecting AI agents to external tools and data sources, originally released by Anthropic and now maintained as a community standard. This package implements an MCP server using the official MCP SDK (@modelcontextprotocol/sdk) and exposes a set of read-only tools for querying Lemma's verifiable attribute API.

The current MVP exposes 5 read tools. Resources and prompts are not exposed in v0.0.x; write tools (register_document, submit_proof) are planned for Phase 2.

Quick start

Two ways to connect — pick whichever matches your agent setup.

Option 1 — Smithery (hosted gateway, zero install)

npx -y smithery mcp add lemmaoracle/lemma

Smithery proxies to the Lemma MCP endpoint at https://lemma--lemmaoracle.run.tools and prompts for your Lemma API key. Best for trying the server quickly or for agents that already speak Smithery. Server page: smithery.ai/servers/lemmaoracle/lemma.

Option 2 — Claude Desktop with npx (stdio)

Add this to your Claude Desktop MCP config:

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

Get an API key at https://lemma.frame00.com/services. LEMMA_API_BASE can be omitted (defaults to production endpoint).

Try it in Glama Inspector

When trying this server in Glama's in-browser inspector (or any MCP inspector), you can use the demo key below. It is read-only and scoped to demo data (the same key is used by example-x402):

LEMMA_API_KEY=b6363aa6265322ed0d786a11d5b6d3264947052ca72deba4cbe1685d099af892

LEMMA_API_BASE=https://workers.lemma.workers.dev

For production access, request a key at https://lemma.frame00.com/services.

Tools (MCP tool list)

This server exposes the following MCP tools (no resources or prompts in the current MVP):

Tool	Phase	Description
`lemma_query_verified_attributes`	MVP	Query cryptographically verified attributes from Lemma. Use this as the primary entry point for finding documents whose attributes match given conditions.
`lemma_get_schema`	MVP	Retrieve a Lemma schema (attribute structure) by ID.
`lemma_get_circuit`	MVP	Retrieve a ZK proof circuit (constraints + verifier) by ID.
`lemma_get_generator`	MVP	Retrieve a document generator (input/output spec) by ID.
`lemma_get_proof_status`	MVP	Get the verification status of a proof by its `verificationId`.
`lemma_register_document`	Phase 2	Register a new document on Lemma.
`lemma_submit_proof`	Phase 2	Submit a ZK proof for verification.

Architecture

MCP Server: this package — connects AI agents to the Lemma API via the Model Context Protocol.
Lemma API: REST surface deployed on Cloudflare Workers, defined by OpenAPI v2.
MCP SDK: this server is built on the official @modelcontextprotocol/sdk (≥ 1.29).
License: Apache-2.0.

Privacy & data handling

Lemma is designed so that we never receive plaintext documents. The MCP server only transmits commitments, hashes, and ZK proofs to the Lemma API. See https://lemma.frame00.com/privacy for the full privacy policy.

Local development (contributors)

For contributors hacking on the MCP server itself, run it from a local build of this monorepo. End users should use the npx config above.

git clone https://github.com/lemmaoracle/lemma.git

cd lemma pnpm install pnpm -F @lemmaoracle/mcp build

The bin entry produces packages/mcp/dist/index.js. Point Claude Desktop at the absolute path:

"mcpServers": { "lemma": { "command": "node", "args": ["/absolute/path/to/lemma/packages/mcp/dist/index.js"], "env": { "LEMMA_API_KEY": "YOUR_API_KEY" } } } }

Rebuild after changes with pnpm -F @lemmaoracle/mcp build and restart Claude Desktop to reconnect. To point at a non-production API, add "LEMMA_API_BASE": "https://..." to env.

Resources

Documentation: this README + OpenAPI spec
Homepage: https://lemma.frame00.com
Issues: https://github.com/lemmaoracle/lemma/issues

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

Lemmaoracle MCP

Overview

PopNx MCP’s three pillars

What you can do with it

Install

Before you install

Or run it on your computer

Or run it on your computer

Or run it on your computer

Or run it on your computer

Values you fill in

What it can do

Basic checksi

Maker matches the repo

Still maintained

Has a licence

Endpoint responds

Sign-in with OAuth

No hidden instructions in tool descriptions

Compared with others in Otheri

Common questions

Alternatives

Spec Driven Development

Remote Desktop Commander

FlyDocs

README from the maker

@lemmaoracle/mcp

What is this?

Quick start

Option 1 — Smithery (hosted gateway, zero install)

Option 2 — Claude Desktop with npx (stdio)

Try it in Glama Inspector

Tools (MCP tool list)

Architecture

Privacy & data handling

Local development (contributors)

Resources

`@lemmaoracle/mcp`