Advertise
MCP.so
Sign In

Lemma — Verifiable Provenance For Ai Agents MCP Server

@lemmaoracle

Repository

Basic information

Category

Other

Transports

stdio

Author

lemmaoracle

Submitted by

Mayumi

About Lemma — Verifiable Provenance For Ai Agents MCP Server

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

Lemma — Verifiable Provenance For Ai Agents MCP Server 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"
      }
    }
  }
}

Lemma — Verifiable Provenance For Ai Agents MCP Server tools

Tool list not available yet

This listing does not currently have a tool list to display. This does not mean the server has no tools; check its documentation for supported capabilities.

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

More Other MCP servers

Klarix Intelligence Engine

Klarix

B2B competitive intelligence, live sales battlecards, 5-axis ICP prospect fit scoring, and tech stack teardowns over MCP and REST with cited public-web evidence.

Handl

Handl speaks the Model Context Protocol. Your whole billing operation — projects, invoices, clients, reports, approvals — as tools any AI assistant can call, inside your autonomy rules.

N

Next Generation Movers: free moving quotes (remote MCP)

Next Generation Movers

Free moving quotes for AI agents from Next Generation Movers, a licensed interstate mover (USDOT 3764697). US long-distance nationwide and local DC/MD/VA. Indicative ballpark price and booking options; optional $0.01 x40

DeepMark

DeepMark helps teachers deliver rapid, consistent marking with meaningful feedback for every student — in a fraction of the time. What once took a week, now takes one free period.

Volley.sh

Volley

A good sequence diagram can solve almost any communication problem in engineering. Volley lets your agent write them as plain text, with the real request and response payloads on every arrow. It checks its own syntax wi

Advertise