Lemma

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

Quick Install

Automated & IDE Setup

Copy the AI prompt to install this server into Claude Code, Cursor, or another agent — or use 1-click editor setup below.

Add to Cursor Add to VS Code

Not yet automatically verified

We haven't yet run this listing's install command through our automated sandbox check. This isn't a red flag — we're steadily working through the catalog.

Manual Client & Custom JSON ConfigExpand JSON ▾

Client Config & Setup

Choose your client or environment

Target File:~/Library/Application Support/Claude/claude_desktop_config.json

claude_desktop_config.json

{
  "mcpServers": {
    "mcp-305": {
      "command": "npx",
      "args": [
        "-y",
        "@lemmaoracle/mcp"
      ]
    }
  }
}

💡 Paste the JSON block into your client's configuration file under mcpServers, then restart the application.

Documentation Overview

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:

config.json

{
  "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:

Package	License
`packages/contracts`, `packages/relay`, `packages/passthrough`	BUSL-1.1 (changes to Apache-2.0 on 2030-05-01)
`packages/sdk`, `packages/spec`, `packages/mcp`, `packages/parser`, `packages/x402`	Apache-2.0
`packages/web`	Private (not distributed)

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

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

Read the full README →View source on GitHub →

Related MCP Servers

View all in Developer Tools View all alternatives

Reviews

No reviews yet — be the first to share how this listing worked for you.

Frequently Asked Questions about Lemma

Add the following block to your claude_desktop_config.json under mcpServers: "mcpServers": { "lemma": { "command": "npx", "args": ["-y", "lemmaoracle/lemma"] } }

AllMCPs Directory Badge

Full Badge Customizer

Showcase your server listing on GitHub or your project documentation. Embed this dynamic SVG badge to highlight official listing status and live engagement.

Badge Style:

Live Dynamic SVG Preview

Markdown (GitHub README)

[![AllMCPs](https://allmcps.com/api/badge/mcp-305?style=directory)](https://allmcps.com/mcp/mcp-305)

HTML Embed

<a href="https://allmcps.com/mcp/mcp-305"><img src="https://allmcps.com/api/badge/mcp-305?style=directory" alt="Lemma on AllMCPs" /></a>

Technical Specs & Signals

CategoryDeveloper Tools

36Quality signal: Fair · 36/100How this signal is calculated ▾

Server availabilityNot measured

Not scored for repo-hosted servers — we can't reach the running server, only its GitHub page. Hosted MCP endpoints are health-checked live.

Verified ownership10/20

Documentation & tools16/30

Adoption & activity1/15

Community engagement0/10

A guidance signal from public completeness & health data — not a user rating. New listings start lower and rise as they add docs, get verified, and grow adoption. Signals we can't observe for a listing are skipped, not counted against it.

★ Featured

AllMCPs Server

The official MCP server for AllMCPs.com - submit and manage tools directly from your AI. The open directory for MCP servers. Connect Claude, Cursor, Windsurf, and AI agents to databases, tools, files, and APIs. Explore 10,000+ servers. AllMCPs is the premier, open directory for discovering, evaluating, and installing Model Context Protocol (MCP) servers to equip AI agents and LLMs with real-world superpowers.

Explore Server →

Own this project?

This directory is pre-filled from public sources. Claim via GitHub README, site badge, or DNS TXT to unlock edit access and the Official badge — proof is checked automatically, then reviewed by our team.

Free dofollow backlink: add your website and place the AllMCPs badge on it — no claim needed. We detect it automatically and keep it verified as long as the badge stays live.

Claim & get free dofollow

Share & Embed

Add our SVG badge (dark/light directory styles) or embeddable widget to your site.

Explore more

More in 💻 Developer Tools →Best MCP servers for Developers →Alternatives to Lemma →Install in Claude Desktop Install in Cursor Install in VS Code