プロトタイプ · プレビュー版:公式レジストリのすべてのサーバーを掲載し、30分ごとに同期しています。Google でログインするとレビューを書けます。プロトタイプ · 30分ごとに更新
PopNx MCPAIを使う人のためのMCPサーバー · やさしい言葉で解説

Lemmaoracle MCP

作者:lemmaoracleバージョン 0.0.17i★ 1 (リポジトリ全体のスター)iパソコンでもクラウドでも
レジストリ名io.github.lemmaoracle/mcp

インストール方法

What it does

Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.

  • Connects パソコンでもクラウドでも
  • Account or key Cloud: Needs Authorization · Local: Needs LEMMA_API_KEY
  • Category 文書・表計算・事務作業

インストール

使っているAIアプリを選んで、設定をコピーしてください。

チェック 4/5 合格 · 質問内容は提供元のサーバー(mcp.lemma.workers.dev)を通ります · ✓ コマンド確認済み 2026年11月14日

まず:どの AI を使っていますか?

使っているアプリを選ぶと、下に手順が表示されます。

Claude につなげます · 約 5 分

Lemmaoracle MCP のキーが必要です(提供元のサイトで作成) · claude.ai かデスクトップアプリで一度設定すれば、チャットで使えます · 無料アカウントは 1 つまで · Team/Enterprise はオーナー(Owner)が追加

  1. Lemmaoracle MCP に登録してキーを作る

    提供元のサイトで登録し、次の手順で使う API キーを作ります。料金や無料プランは提供元のサイトで確認してください。

    Lemmaoracle MCP のサイトを開く ↗

  2. Claude の Connectors ページを開く

    CustomizeConnectors

    CustomizeConnectors1Add2https://…3Add4
  3. 「Add」→「Custom」→「Web」を押し、この 2 つを入力

    ここからコピーして Claude の同じ名前の欄に貼り付け、Continue を押します

    Name · 名前Lemmaoracle MCP
    Remote MCP server URL · アドレスhttps://mcp.lemma.workers.dev/mcp

    Request headers に、この名前と値を追加

    ヘッダー名Authorization
    値Bearer <ここにキーを貼り付け>

    キーはアプリの入力欄にだけ貼り付け、チャットに貼ったり人に送ったりしないでください

    Claude が検出したサインイン設定の画面で Continue を押す · Authentication は作者の説明どおり(Sign in now・Sign in when needed・No sign in)を選び Add を押します

  4. チャットで有効にする

    +ConnectorsLemmaoracle MCP

  5. 試してみる

    Lemmaoracle MCP を使って、私に何ができるか教えて、1 つやってみせて

    ✓ Claude が Lemmaoracle MCP を使っていると言うか、回答に Lemmaoracle MCP のツール名が出れば接続成功です

メニュー名は 2026年11月11日 に Anthropic のヘルプページで確認 · アプリのバージョンにより画面が少し違うことがあります

ChatGPT はまだ Lemmaoracle MCP につなげません

Lemmaoracle MCP は接続時に自分のキーが必要ですが、OpenAI のヘルプページは OAuth ログインしか説明しておらず、確認できたキー入力方法がありません

代わりにできること

A · Lemmaoracle MCP につなげるアプリを使う

  • Lemmaoracle MCP のキーが必要です(提供元のサイトで作成) · claude.ai かデスクトップアプリで一度設定すれば、チャットで使えます · 無料アカウントは 1 つまで · Team/Enterprise はオーナー(Owner)が追加
  • Lemmaoracle MCP のキーが必要です(提供元のサイトで作成)
  • Lemmaoracle MCP のキーが必要です(提供元のサイトで作成)
  • Lemmaoracle MCP のキーが必要です(提供元のサイトで作成)

B · 文書・表計算・事務作業 の中で ChatGPT につなげる別のサーバー

同じカテゴリでよく使われているものから、キーなしでアドレスだけでつなげるものを選びました

Claude Code につなげます · 約 5 分

Lemmaoracle MCP のキーが必要です(提供元のサイトで作成)

  1. Lemmaoracle MCP に登録してキーを作る

    提供元のサイトで登録し、次の手順で使う API キーを作ります。料金や無料プランは提供元のサイトで確認してください。

    Lemmaoracle MCP のサイトを開く ↗

  2. ターミナルを開く

    Mac:Command+スペースで Terminal と入力 · Windows:PowerShell を開く

  3. このコマンドを貼り付けて Enter

    claude mcp add --transport http --scope user lemmaoracle https://mcp.lemma.workers.dev/mcp --header 'Authorization: Bearer your-value'

    Enter の前に「your-value」を自分のキーに書き換えてください

    キーはアプリの入力欄にだけ貼り付け、チャットに貼ったり人に送ったりしないでください

  4. Claude Code で /mcp と入力

    Lemmaoracle MCP が一覧にあり、接続済みと表示されれば OK です

  5. 試してみる

    Lemmaoracle MCP を使って、私に何ができるか教えて、1 つやってみせて

    ✓ Claude Code が Lemmaoracle MCP を使っていると言うか、回答に Lemmaoracle MCP のツール名が出れば接続成功です

メニュー名は 2026年11月11日 に Anthropic のヘルプページで確認 · アプリのバージョンにより画面が少し違うことがあります

Cursor につなげます · 約 5 分

Lemmaoracle MCP のキーが必要です(提供元のサイトで作成)

  1. Lemmaoracle MCP に登録してキーを作る

    提供元のサイトで登録し、次の手順で使う API キーを作ります。料金や無料プランは提供元のサイトで確認してください。

    Lemmaoracle MCP のサイトを開く ↗

  2. このボタンで Cursor を開く

    Cursor で開く

    Cursor がインストールの確認をするので Install を押します

  3. キーを入力

    Lemmaoracle MCP の設定で Authorization が空です。自分のキーを入れて保存します

    キーはアプリの入力欄にだけ貼り付け、チャットに貼ったり人に送ったりしないでください

  4. Cursor の AI チャットを Agent モードで開く

  5. 試してみる

    Lemmaoracle MCP を使って、私に何ができるか教えて、1 つやってみせて

    ✓ Cursor が Lemmaoracle MCP を使っていると言うか、回答に Lemmaoracle MCP のツール名が出れば接続成功です

メニュー名は 2026年11月11日 に Cursor のヘルプページで確認 · アプリのバージョンにより画面が少し違うことがあります

VS Code につなげます · 約 5 分

Lemmaoracle MCP のキーが必要です(提供元のサイトで作成)

  1. Lemmaoracle MCP に登録してキーを作る

    提供元のサイトで登録し、次の手順で使う API キーを作ります。料金や無料プランは提供元のサイトで確認してください。

    Lemmaoracle MCP のサイトを開く ↗

  2. このボタンで VS Code を開く

    VS Code で開く

    VS Code がインストールの確認をするので Install を押します

  3. キーを入力

    Lemmaoracle MCP の設定で Authorization が空です。自分のキーを入れて保存します

    キーはアプリの入力欄にだけ貼り付け、チャットに貼ったり人に送ったりしないでください

  4. VS Code の AI チャットを Agent モードで開く

  5. 試してみる

    Lemmaoracle MCP を使って、私に何ができるか教えて、1 つやってみせて

    ✓ VS Code が Lemmaoracle MCP を使っていると言うか、回答に Lemmaoracle MCP のツール名が出れば接続成功です

メニュー名は 2026年11月11日 に VS Code のヘルプページで確認 · アプリのバージョンにより画面が少し違うことがあります

Windsurf、Zed、Gemini CLI など MCP を使える他のアプリは追加方法がそれぞれ違います。アプリ一覧で確認してください

MCP を使えるアプリをすべて見る →

Web 経由でつなぐアプリ用のアドレス

アドレスhttps://mcp.lemma.workers.dev/mcp

JSON 設定は下の「開発者向け」にあります

つまずいたら?Lemmaoracle MCP を使っている人に聞いてみましょう💬 ディスカッション →
開発者向け:ターミナルのコマンドと JSON 設定

Web 経由

Claude Code

claude mcp add --transport http --scope user lemmaoracle https://mcp.lemma.workers.dev/mcp --header 'Authorization: Bearer your-value'

Cursor (~/.cursor/mcp.json)

{
  "mcpServers": {
    "lemmaoracle": {
      "url": "https://mcp.lemma.workers.dev/mcp",
      "headers": {
        "Authorization": "Bearer your-value"
      }
    }
  }
}

VS Code (mcp.json)

{
  "servers": {
    "lemmaoracle": {
      "type": "http",
      "url": "https://mcp.lemma.workers.dev/mcp",
      "headers": {
        "Authorization": "Bearer your-value"
      }
    }
  }
}

パソコンにインストール

Claude Code

claude mcp add --scope user lemmaoracle --env LEMMA_API_KEY=your-value -- npx -y @lemmaoracle/mcp

Claude Desktop (claude_desktop_config.json)

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

Cursor (~/.cursor/mcp.json)

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

VS Code (mcp.json)

{
  "servers": {
    "lemmaoracle": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "@lemmaoracle/mcp"
      ],
      "env": {
        "LEMMA_API_KEY": "your-value"
      }
    }
  }
}

自分で入力する値

  • LEMMA_API_KEY 秘密 必須 env
    Lemma API key (Bearer token). Get one at https://lemma.frame00.com/services
  • LEMMA_API_BASE env
    Optional API base URL. Defaults to production endpoint.
  • Authorization 秘密 必須 HTTP header
    Lemma API key as Bearer token. Format: 'Bearer '. Get a key at https://lemma.frame00.com/services

説明は英語の原文のままです。

この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。

ひと目でわかる

GitHubスターi
1 (リポジトリ全体のスター)
このリポジトリには複数の MCP があり、スターは順位で1件だけ数えます
週あたりのダウンロードi
49/週
ライセンスi
ライセンスの記載なし
接続方法
パソコンでもクラウドでも
最新バージョンi
0.0.17
レジストリ公開日i
2026年5月18日
コードの最終更新i
2026年11月14日
作者
lemmaoracle
パッケージ
npm: @lemmaoracle/mcp
ウェブサイト
lemma.frame00.com
レジストリでの状態
有効

使えるアプリ

このサーバーのつなぎ方と、各アプリの公式ドキュメントに基づきます。2026年11月10日に確認。

インターネット経由でつなげるアプリ

ClaudeGooseLM StudioMsty StudioCherry StudioCursorVS Code + GitHub CopilotVisual StudioWindsurf (Devin Desktop)ZedKiroClineContinueJetBrains AI AssistantClaude CodeCodex CLIGemini CLIOpenCodenodecodeWarpLibreChatOpen WebUIRaycast

パソコン上で動かせるアプリ

ClaudeGooseLM StudioMsty StudioCherry StudioCursorVS Code + GitHub CopilotVisual StudioWindsurf (Devin Desktop)ZedKiroClineContinueJetBrains AI AssistantClaude CodeCodex CLIGemini CLIOpenCodenodecodeWarpLibreChatRaycast

すべてのアプリと長所・短所 →

できること

ツールの名前と説明は、サーバーが2026年11月10日に返したそのままの内容です。書いたのは作者で、私たちではありません。プレーンテキストとして表示しています。

  • lemma_query_verified_attributes

    Query cryptographically verified attributes from Lemma. Use this as the primary tool for finding documents whose attributes match given conditions (e.g., "subject's birthYear lt 2008"). Returns { results: Array<{ docHash, schema, issuerId, subjectId, attributes, isVerified, proof

  • lemma_get_schema

    Retrieve a Lemma schema by its ID via GET /v1/schemas/{id}. A schema declares how documents of a given type are interpreted and normalized. Returns SchemaMeta { id, description? } with additionalProperties open — implementations commonly include a `normalize` artifact (WASM that

  • lemma_get_circuit

    Retrieve a zero-knowledge proof circuit by its circuitId via GET /v1/circuits/{circuitId}. A circuit defines the constraints that proofs must satisfy and binds to a single schema. Returns CircuitMeta { circuitId, schema, description?, inputs?, verifier?: { type: 'onchain'|'offcha

  • lemma_get_generator

    Retrieve a Lemma document generator by generatorId via GET /v1/doc-generators/{generatorId}. A generator describes how a class of source documents is produced (e.g., what fields a 'KYC-v2' issuer must populate). Returns GeneratorMeta { generatorId, schema, description?, language?

  • lemma_get_proof_status

    Get the verification status of a proof. NOTE: the v2 API does not yet expose a dedicated GET /v1/proofs/{id} endpoint, so this tool internally calls POST /v1/verified-attributes/query filtered by docHash (treating the verificationId returned from lemma_submit_proof as a docHash f

基本チェックi

誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月14日にチェック

  • ✓ 合格

    作者とリポジトリが一致

    レジストリ名は、リポジトリを所有するGitHubアカウント lemmaoracle で確認済みです

  • ✓ 合格

    今もメンテナンスされている

    コードの最終更新:今日

  • ! 注意

    ライセンスがある

    GitHubがライセンスの種類を判別できませんでした。ファイルを開いて確認してください

  • ✓ 合格

    エンドポイントが応答する

    375ミリ秒で応答(HTTP 200)

  • – 対象外

    OAuthでサインイン

    サインイン不要

  • ✓ 合格

    ツールの説明に隠れた指示がない

    5件のツールの説明を読み、AIへの隠れた指示は見つかりませんでした

話し合い

質問、コツの共有、使えないことの報告ができます。「役に立った」の多い順です。

まだ投稿はありません。最初の質問や共有をどうぞ。

ここの投稿は利用者によるもので、PopNx チームのものではありません。

Google でログインして投稿

ユーザーレビュー

まだレビューはありません

Google でログインしてレビューを書く

文書・表計算・事務作業のほかのサーバーとの比較i

  • このカテゴリのほかの3911件のうち0%よりスターが多い
  • このカテゴリのほかの3911件のうち9%より最近レジストリに公開
  • 基本チェックの結果が、このカテゴリのほかの3911件のうち52%と同じかそれ以上

レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。

よくある質問

Lemmaoracle MCPは安全ですか?

当てはまる基本チェック5項目のうち4項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。

どんなキーやコードが必要ですか?

入力が必要なもの:Authorization, LEMMA_API_KEY

パソコンで動きますか、それともクラウドですか?

どちらでも使えます。パソコンにインストールしても、クラウド版につないでもかまいません。

今もメンテナンスされていますか?

GitHubリポジトリの最終更新は今日、最新バージョン(0.0.17)がレジストリに届いたのは6 か月前です。

どのアプリで使えますか?

Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。URL で接続するので、リモート MCP を受け付けるアプリでも使えます。例:Web 版 ChatGPT(Business 以上はフル MCP、Pro は読み取りのみ)。

代わりに使えるものは?

同じカテゴリには:Puter MCP, XcodeBuildMCP, XcodeBuildMCP

同じカテゴリのほかの候補

同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。

カードの見方:↓ 週あたりのダウンロードi★ GitHubスターi3つの柱:レビュー · チェック · 利用状況i更新=最新バージョンをレジストリに公開した日i

Puter MCP

Puter MCP enables AI tools to interact with Puter: manage files, websites, workers, and more

作者:HeyPuter広く使われている★ 4.4万5 か月前更新

クラウドで動く✓ 提供元 · puter.com

XcodeBuildMCP

XcodeBuildMCP provides tools for Xcode project management, simulator management, and app utilities.

作者:getsentry広く使われている↓ 13万/週 共有パッケージの数★ 65694 か月前更新

パソコンで動く✓ 提供元 · xcodebuildmcp.com

XcodeBuildMCP

XcodeBuildMCP provides tools for Xcode project management, simulator management, and app utilities.

作者:cameroncooke広く使われている↓ 13万/週 共有パッケージの数★ 656914 か月前更新

パソコンで動く

作者のREADME

READMEを開く

作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。

@lemmaoracle/mcp

@lemmaoracle/mcp is the Model Context Protocol (MCP) server that gives AI agents access to Lemma's verifiable provenance layer — query cryptographically verified attributes (zero-knowledge proofs, selective disclosure, tamper-evident provenance) from confidential documents without ever exposing the plaintext.

Models change. Proofs remain.

What is this?

This is an MCP server. MCP (Model Context Protocol) is the open protocol for connecting AI agents to external tools and data sources, originally released by Anthropic and now maintained as a community standard. This package implements an MCP server using the official MCP SDK (@modelcontextprotocol/sdk) and exposes a set of read-only tools for querying Lemma's verifiable attribute API.

The current MVP exposes 5 read tools. Resources and prompts are not exposed in v0.0.x; write tools (register_document, submit_proof) are planned for Phase 2.

Quick start

Two ways to connect — pick whichever matches your agent setup.

Option 1 — Smithery (hosted gateway, zero install)
npx -y smithery mcp add lemmaoracle/lemma

Smithery proxies to the Lemma MCP endpoint at https://lemma--lemmaoracle.run.tools and prompts for your Lemma API key. Best for trying the server quickly or for agents that already speak Smithery. Server page: smithery.ai/servers/lemmaoracle/lemma.

Option 2 — Claude Desktop with npx (stdio)

Add this to your Claude Desktop MCP config:

{

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

Get an API key at https://lemma.frame00.com/services. LEMMA_API_BASE can be omitted (defaults to production endpoint).

Try it in Glama Inspector

When trying this server in Glama's in-browser inspector (or any MCP inspector), you can use the demo key below. It is read-only and scoped to demo data (the same key is used by example-x402):

LEMMA_API_KEY=b6363aa6265322ed0d786a11d5b6d3264947052ca72deba4cbe1685d099af892

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

For production access, request a key at https://lemma.frame00.com/services.

Tools (MCP tool list)

This server exposes the following MCP tools (no resources or prompts in the current MVP):

ToolPhaseDescription
lemma_query_verified_attributesMVPQuery cryptographically verified attributes from Lemma. Use this as the primary entry point for finding documents whose attributes match given conditions.
lemma_get_schemaMVPRetrieve a Lemma schema (attribute structure) by ID.
lemma_get_circuitMVPRetrieve a ZK proof circuit (constraints + verifier) by ID.
lemma_get_generatorMVPRetrieve a document generator (input/output spec) by ID.
lemma_get_proof_statusMVPGet the verification status of a proof by its verificationId.
lemma_register_documentPhase 2Register a new document on Lemma.
lemma_submit_proofPhase 2Submit a ZK proof for verification.

Architecture

  • MCP Server: this package — connects AI agents to the Lemma API via the Model Context Protocol.
  • Lemma API: REST surface deployed on Cloudflare Workers, defined by OpenAPI v2.
  • MCP SDK: this server is built on the official @modelcontextprotocol/sdk (≥ 1.29).
  • License: Apache-2.0.

Privacy & data handling

Lemma is designed so that we never receive plaintext documents. The MCP server only transmits commitments, hashes, and ZK proofs to the Lemma API. See https://lemma.frame00.com/privacy for the full privacy policy.

Local development (contributors)

For contributors hacking on the MCP server itself, run it from a local build of this monorepo. End users should use the npx config above.

git clone https://github.com/lemmaoracle/lemma.git

cd lemma pnpm install pnpm -F @lemmaoracle/mcp build

The bin entry produces packages/mcp/dist/index.js. Point Claude Desktop at the absolute path:

{

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

Rebuild after changes with pnpm -F @lemmaoracle/mcp build and restart Claude Desktop to reconnect. To point at a non-production API, add "LEMMA_API_BASE": "https://..." to env.

Resources

  • Documentation: this README + OpenAPI spec
  • Homepage: https://lemma.frame00.com
  • Issues: https://github.com/lemmaoracle/lemma/issues

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