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
「その他」の他のコンテンツ
Maestro
mobile-dev-incPainless E2E Automation for Mobile and Web

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.
Codelf
unbugA search tool helps dev to solve the naming things problem.

Yuppsy
Yuppsy MCP: build and publish real estate websites from your AI assistant. Yuppsy lets your AI assistant create live websites for real estate agents and individual property listings. You don't need a designer or any code

Glasswarp
GlasswarpSee 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.
コメント