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

Inbox Zero AI

elie222

The world's best AI personal assistant for email. Open source app to help you reach inbox zero fast.

11.6K

ICSS

chokcoco

不止于 CSS

20.7K

Production-ready MCP integrations for AI applications

Klavis-AI

Klavis AI: MCP integration platforms that let AI agents use tools reliably at any scale

5.8K

🚀 Model Context Protocol (MCP) Curriculum for Beginners

microsoft

This open-source curriculum introduces the fundamentals of Model Context Protocol (MCP) through real-world, cross-language examples in .NET, Java, TypeScript, JavaScript, Rust and Python. Designed for developers, it focuses on practical techniques for building modular, scalable,

16.7K

MaxKB

1Panel-dev

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

22.0K