Lemma — Verifiable Provenance For Ai Agents MCP Server
@lemmaoracle
关于 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
Lemma — Verifiable Provenance For Ai Agents MCP Server 配置
使用下面的配置,将此服务器添加到你的 MCP 客户端。
{
"mcpServers": {
"lemma": {
"command": "npx",
"args": [
"-y",
"@lemmaoracle/mcp"
],
"env": {
"LEMMA_API_KEY": "YOUR_API_KEY"
}
}
}
}Lemma — Verifiable Provenance For Ai Agents MCP Server 工具
工具列表暂未提供
当前收录暂时没有可展示的工具列表,不代表服务没有工具。请查阅项目文档了解支持的能力。
点击上方按钮,在临时沙箱中运行此服务器并实时获取工具列表。
概览
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
其他 分类下的更多 MCP 服务器

Lemon.io
lemon-ioRequest dedicated senior developers to work on your project, write job descriptions, and prep technical interviews — all without leaving your Claude chat. Just describe what you need, and Lemon.io MCP does the rest. 1–3
PickFu MCP
PickFu MCP is a Model Context Protocol (MCP) server that connects AI assistants, developers, marketers, product managers, and AI agents to PickFu's consumer research platform. It enables users to create surveys, conduct

The Living Bread
The Living BreadA free remote MCP server for The Living Bread. Bible passages read word for word from a stored public domain text with an evidence label, keyword search and cross references, real churches, gatherings and prayer groups w
MaxKB
1Panel-dev🔥 MaxKB is an open-source platform for building enterprise-grade agents. 强大易用的开源企业级智能体平台。
Senso MCP for Joomla
sensomediaSenso MCP turns a Joomla 5 or 6 site into a remote MCP server. It runs inside Joomla itself (no extra server, no Node.js bridge) and is secured with OAuth 2.1 and Joomla's own ACL. The free pack lets an AI assistant crea
评论