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

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

Fetch the live tool list by running this server in a temporary sandbox using the button above.

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

Basic information

Category

Other

Transports

stdio

Author

lemmaoracle

Submitted by

Mayumi

More Other MCP servers

Glasswarp

Glasswarp

See and control a real Windows PC you own — from any MCP client, locally or remotely. Observe (UIA + screenshots), click/type/drag/scroll, launch apps, owner Live View. BYOH: your machine, your key.

Unity MCP ✨

justinpbarnett

Unity MCP acts as a bridge between AI assistants and your Unity Editor. Give your LLM tools to manage assets, control scenes, edit scripts, and automate tasks within Unity.

12.2K

🚀 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

Website

FunnyWolf

Adversary simulation and Red teaming platform with AI

5.1K

ICSS

chokcoco

不止于 CSS

20.7K