MCP.so
Sign In

Lemma — Verifiable Provenance For Ai Agents

@lemmaoracle

Repository

About Lemma — Verifiable Provenance For Ai Agents

AI agents make decisions you can't audit. Lemma fixes that with zero-knowledge proofs over confidential documents — selective disclosure, on-chain provenance, no plaintext exposure. Query cryptographically verified attributes from agents in production. Built for regulated industr

#mcp#mcp-server#zero-knowledge#provenance#ai-agents#verifiable-ai#selective-disclosure#on-chain#x402#trust-layer

Basic information

Category

Other

Transports

stdio

Publisher

lemmaoracle

Submitted by

Mayumi

Config

Add this server to your MCP-compatible client using the configuration below.

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

Tools

No tools detected

We auto-extract tools from the README. The maintainer can list them under a ## Tools heading to populate this section.

Overview

What is Lemma — Verifiable Provenance For Ai Agents?

Lemma is a cryptographically verified truth layer for AI agents. It enables reasoning 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.

How to use Lemma — Verifiable Provenance For Ai Agents?

Install the MCP server by adding a configuration entry to Claude Desktop or any MCP-compatible agent. Use the command npx -y @lemmaoracle/mcp and set the LEMMA_API_KEY environment variable to your API key.

Key features of Lemma — Verifiable Provenance For Ai Agents

  • Cryptographically verified provenance for every attribute.
  • Zero-knowledge proofs for confidential data reasoning.
  • Selective disclosure of attributes while raw content stays encrypted.
  • Tamper-evident record anchored to a verification ledger.
  • Issuer, schema, proof method, and verification location permanently attached.

Use cases of Lemma — Verifiable Provenance For Ai Agents

  • AI agent queries verified facts from a confidential dataset without exposing raw data.
  • Agent selectively discloses only specific attributes from a verified credential.
  • Agent or application verifies the issuer and schema of

Comments

More Other MCP servers

Codelf

unbug

A search tool helps dev to solve the naming things problem.

14.2K

MaxKB

1Panel-dev

🔥 MaxKB is an open-source platform for building enterprise-grade agents. 强大易用的开源企业级智能体平台。

22.0K

Activepieces

activepieces

AI Agents & MCPs & AI Workflow Automation • (~400 MCP servers for AI agents) • AI Automation / AI Agent with MCPs • AI Workflows & AI Agents • MCPs for AI Agents

23.2K

MCP Toolbox for Databases

googleapis

MCP Toolbox for Databases is an open source MCP server for databases.

15.9K

FastMCP v2 🚀

jlowin

🚀 The fast, Pythonic way to build MCP servers and clients.

26.0K