Lemma — Verifiable Provenance For Ai Agents
@lemmaoracle
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 対応クライアントに追加してください。
{
"mcpServers": {
"lemma": {
"command": "npx",
"args": [
"-y",
"@lemmaoracle/mcp"
],
"env": {
"LEMMA_API_KEY": "YOUR_API_KEY"
}
}
}
}ツール
ツールは検出されませんでした
ツールは README から自動的に抽出されます。メンテナーは ## Tools という見出しの下に記載することで、このタブに反映できます。
概要
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
「その他」の他のコンテンツ
MaxKB
1Panel-dev🔥 MaxKB is an open-source platform for building enterprise-grade agents. 强大易用的开源企业级智能体平台。
ghidraMCP
LaurieWiredMCP Server for Ghidra
Blender
ahujasidOpen-source MCP to use Blender with any LLM
Awesome-MCP-ZH
yzflyMCP 资源精选, MCP指南,Claude MCP,MCP Servers, MCP Clients
IDA Pro MCP
mrexodiaAI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.
コメント