Lemma — Verifiable Provenance For Ai Agents
@lemmaoracle
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
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
Basic information
More Other MCP servers
IDA Pro MCP
mrexodiaAI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.

EverArt
modelcontextprotocolModel Context Protocol Servers
Activepieces
activepiecesAI 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
XcodeBuildMCP
cameroncookeA Model Context Protocol (MCP) server and CLI that provides tools for agent use when working on iOS and macOS projects.
Codelf
unbugA search tool helps dev to solve the naming things problem.
Comments