Lemma MCP Server: Install & Setup

Install Lemma in Claude Code

Remote URL

Claude Code

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

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

{
  "mcpServers": {
    "lemma": {
      "url": "https://mcp.lemma.workers.dev/mcp"
    }
  }
}

npm

Claude Code

claude mcp add lemma -e LEMMA_API_KEY=... -- npx -y @lemmaoracle/mcp

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

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

Replace each ... with your own value.

Frequently asked questions

What does the Lemma MCP server do?

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

Is the Lemma MCP server free?

The server is free, but you will likely need an account. The server itself is free, but it connects to a service that needs an account or API key, which may have paid tiers. Check the provider for current pricing.

Does Lemma run locally or remotely?

Local + Remote. Can run locally or be used as a hosted remote server.

How do I add Lemma to Claude Code?

Run: claude mcp add --transport http lemma https://mcp.lemma.workers.dev/mcp

More ai agents & coding agents MCP servers

View all

Letmediff

1126

paoloricciuti/letmediff

The official Letmediff MCP server helping you review your code with an agent first workflow

LocalFree

Ledgerfc

yaotsakpo/ledgerfc-mcp

Grounded sports predictions plus European soccer and tennis arbitrage data for AI agents.

Local + RemoteFree

Lex API MX

Julio-Patron/lexapi-mx

Legislación federal mexicana vigente con fuente, checksum y vigencia para agentes de IA

LocalAccount needed

Ledger

eternal-roman/ledger

Exact-decimal double-entry for agents. Call MCP tools; do not do money math in tokens.

LocalFree

LLM Provider

manishiitg/llm-provider-mcp

Delegate asynchronous coding jobs between Claude Code, Codex, Cursor Agent, and Pi.

LocalFree

Lawbor

1224

philpof102-svg/lawbor

Reputation-gated messaging + job negotiation for Base AI agents. Descriptor-only, nothing signs.

LocalFree