Lemma — Verifiable Provenance For Ai Agents

@lemmaoracle/mcp

@lemmaoracle/mcp は、AI エージェントが Lemma の検証可能な来歴レイヤーにアクセスできるようにする Model Context Protocol（MCP）サーバーです。機密文書の平文を一切公開することなく、暗号学的に検証された属性（ゼロ知識証明、選択的開示、改ざんを検知できる来歴）を照会できます。

モデルは変わっても、証明は残ります。

これは何ですか？

これは MCP サーバーです。MCP（Model Context Protocol）は、AI エージェントを外部のツールやデータソースに接続するためのオープンプロトコルで、Anthropic が最初に公開し、現在はコミュニティ標準として保守されています。このパッケージは、公式の MCP SDK（@modelcontextprotocol/sdk）を使用して MCP サーバーを実装し、Lemma の検証可能な属性 API を照会するための読み取り専用 ツールを提供します。

現在の MVP では、読み取りツールを5つ提供しています。v0.0.x では リソースとプロンプトは提供していません。書き込みツール（register_document、submit_proof）はフェーズ2で提供する予定です。

クイックスタート

接続方法は2つあります。エージェントの設定に合った方法を選んでください。

オプション1 — Smithery（ホスト型ゲートウェイ、インストール不要）

npx -y smithery mcp add lemmaoracle/lemma

Smithery は Lemma MCP エンドポイント（https://lemma--lemmaoracle.run.tools）へのプロキシとして動作し、Lemma API キーの入力を求めます。サーバーを手早く試したい場合や、すでに Smithery に対応しているエージェントに最適です。サーバーページ： smithery.ai/servers/lemmaoracle/lemma。

オプション2 — npx を使用した Claude Desktop（stdio）

Claude Desktop の MCP 設定に以下を追加してください。

{
  "mcpServers": {
    "lemma": {
      "command": "npx",
      "args": ["-y", "@lemmaoracle/mcp"],
      "env": {
        "LEMMA_API_KEY": "YOUR_API_KEY"
      }
    }
  }
}

API キーは https://lemma.frame00.com/services で取得してください。LEMMA_API_BASE は省略できます（デフォルトで本番エンドポイントが使用されます）。

Glama Inspector で試す

Glama のブラウザー内インスペクター（またはその他の MCP インスペクター）でこのサーバーを試すときは、以下のデモキーを使用できます。このキーは読み取り専用で、デモデータに限定されています（example-x402 と同じキーを使用します）。

LEMMA_API_KEY=b6363aa6265322ed0d786a11d5b6d3264947052ca72deba4cbe1685d099af892
LEMMA_API_BASE=https://workers.lemma.workers.dev

本番環境でのアクセスについては、https://lemma.frame00.com/services からキーを申請してください。

ツール（MCP ツール一覧）

このサーバーは以下の MCP ツールを提供します（現在の MVP ではリソースとプロンプトはありません）。

ツール	フェーズ	説明
lemma_query_verified_attributes	MVP	Lemma から暗号学的に検証された属性を照会します。指定された条件に一致する属性を持つドキュメントを検索する際の主なエントリーポイントとして使用してください。
lemma_get_schema	MVP	ID で指定した Lemma スキーマ（属性構造）を取得します。
lemma_get_circuit	MVP	ID で指定した ZK 証明回路（制約と検証器）を取得します。
lemma_get_generator	MVP	ID で指定したドキュメントジェネレーター（入力／出力仕様）を取得します。
lemma_get_proof_status	MVP	verificationId で指定した証明の検証ステータスを取得します。
lemma_register_document	フェーズ2	新しいドキュメントを Lemma に登録します。
lemma_submit_proof	フェーズ2	検証用の ZK 証明を送信します。

アーキテクチャ

• MCP サーバー：このパッケージです。Model Context Protocol を介して AI エージェントを Lemma API に接続します。
• Lemma API：Cloudflare Workers にデプロイされた REST インターフェースです。OpenAPI v2 で定義されています。
• MCP SDK：このサーバーは公式の @modelcontextprotocol/sdk（≥ 1.29）を基盤として構築されています。
• ライセンス：Apache-2.0。

プライバシーとデータの取り扱い

Lemma は、平文のドキュメントを一切受け取らないよう設計されています。MCP サーバーは、コミットメント、ハッシュ、ZK 証明のみを Lemma API に送信します。プライバシーポリシーの全文は https://lemma.frame00.com/privacy をご覧ください。

ローカル開発（コントリビューター向け）

MCP サーバー自体の開発に取り組むコントリビューターは、このモノレポのローカルビルドから実行してください。エンドユーザーは、上記の npx 設定を使用してください。

git clone https://github.com/lemmaoracle/lemma.git
cd lemma
pnpm install
pnpm -F @lemmaoracle/mcp build

bin エントリーによって packages/mcp/dist/index.js が生成されます。Claude Desktop には絶対パスを指定してください。

{
  "mcpServers": {
    "lemma": {
      "command": "node",
      "args": ["/absolute/path/to/lemma/packages/mcp/dist/index.js"],
      "env": {
        "LEMMA_API_KEY": "YOUR_API_KEY"
      }
    }
  }
}

変更後は pnpm -F @lemmaoracle/mcp build で再ビルドし、Claude Desktop を再起動して再接続してください。本番環境以外の API を指定するには、env に "LEMMA_API_BASE": "https://..." を追加してください。

リソース

• ドキュメント：この README ＋ OpenAPI 仕様
• ホームページ：https://lemma.frame00.com
• 課題：https://github.com/lemmaoracle/lemma/issues

---

🇯🇵 日本語版はこちら / 日本語 README