Puter MCP
Puter MCP enables AI tools to interact with Puter: manage files, websites, workers, and more
Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.
使っているAIアプリを選んで、設定をコピーしてください。
チェック 4/5 合格 · 質問内容は提供元のサーバー(mcp.lemma.workers.dev)を通ります · ✓ コマンド確認済み 2026年11月14日
まず:どの AI を使っていますか?
使っているアプリを選ぶと、下に手順が表示されます。
Claude につなげます · 約 5 分
Lemmaoracle MCP のキーが必要です(提供元のサイトで作成) · claude.ai かデスクトップアプリで一度設定すれば、チャットで使えます · 無料アカウントは 1 つまで · Team/Enterprise はオーナー(Owner)が追加
提供元のサイトで登録し、次の手順で使う API キーを作ります。料金や無料プランは提供元のサイトで確認してください。
CustomizeConnectors
ここからコピーして Claude の同じ名前の欄に貼り付け、Continue を押します
Lemmaoracle MCPhttps://mcp.lemma.workers.dev/mcpRequest headers に、この名前と値を追加
AuthorizationBearer <ここにキーを貼り付け>キーはアプリの入力欄にだけ貼り付け、チャットに貼ったり人に送ったりしないでください
Claude が検出したサインイン設定の画面で Continue を押す · Authentication は作者の説明どおり(Sign in now・Sign in when needed・No sign in)を選び Add を押します
+ConnectorsLemmaoracle MCP
Lemmaoracle MCP を使って、私に何ができるか教えて、1 つやってみせて✓ Claude が Lemmaoracle MCP を使っていると言うか、回答に Lemmaoracle MCP のツール名が出れば接続成功です
メニュー名は 2026年11月11日 に Anthropic のヘルプページで確認 · アプリのバージョンにより画面が少し違うことがあります
ChatGPT はまだ Lemmaoracle MCP につなげません
Lemmaoracle MCP は接続時に自分のキーが必要ですが、OpenAI のヘルプページは OAuth ログインしか説明しておらず、確認できたキー入力方法がありません
A · Lemmaoracle MCP につなげるアプリを使う
Claude Code につなげます · 約 5 分
Lemmaoracle MCP のキーが必要です(提供元のサイトで作成)
提供元のサイトで登録し、次の手順で使う API キーを作ります。料金や無料プランは提供元のサイトで確認してください。
Mac:Command+スペースで Terminal と入力 · Windows:PowerShell を開く
claude mcp add --transport http --scope user lemmaoracle https://mcp.lemma.workers.dev/mcp --header 'Authorization: Bearer your-value'Enter の前に「your-value」を自分のキーに書き換えてください
キーはアプリの入力欄にだけ貼り付け、チャットに貼ったり人に送ったりしないでください
Lemmaoracle MCP が一覧にあり、接続済みと表示されれば OK です
Lemmaoracle MCP を使って、私に何ができるか教えて、1 つやってみせて✓ Claude Code が Lemmaoracle MCP を使っていると言うか、回答に Lemmaoracle MCP のツール名が出れば接続成功です
メニュー名は 2026年11月11日 に Anthropic のヘルプページで確認 · アプリのバージョンにより画面が少し違うことがあります
Cursor につなげます · 約 5 分
Lemmaoracle MCP のキーが必要です(提供元のサイトで作成)
提供元のサイトで登録し、次の手順で使う API キーを作ります。料金や無料プランは提供元のサイトで確認してください。
Lemmaoracle MCP の設定で Authorization が空です。自分のキーを入れて保存します
キーはアプリの入力欄にだけ貼り付け、チャットに貼ったり人に送ったりしないでください
Lemmaoracle MCP を使って、私に何ができるか教えて、1 つやってみせて✓ Cursor が Lemmaoracle MCP を使っていると言うか、回答に Lemmaoracle MCP のツール名が出れば接続成功です
メニュー名は 2026年11月11日 に Cursor のヘルプページで確認 · アプリのバージョンにより画面が少し違うことがあります
VS Code につなげます · 約 5 分
Lemmaoracle MCP のキーが必要です(提供元のサイトで作成)
提供元のサイトで登録し、次の手順で使う API キーを作ります。料金や無料プランは提供元のサイトで確認してください。
Lemmaoracle MCP の設定で Authorization が空です。自分のキーを入れて保存します
キーはアプリの入力欄にだけ貼り付け、チャットに貼ったり人に送ったりしないでください
Lemmaoracle MCP を使って、私に何ができるか教えて、1 つやってみせて✓ VS Code が Lemmaoracle MCP を使っていると言うか、回答に Lemmaoracle MCP のツール名が出れば接続成功です
メニュー名は 2026年11月11日 に VS Code のヘルプページで確認 · アプリのバージョンにより画面が少し違うことがあります
Windsurf、Zed、Gemini CLI など MCP を使える他のアプリは追加方法がそれぞれ違います。アプリ一覧で確認してください
Web 経由でつなぐアプリ用のアドレス
https://mcp.lemma.workers.dev/mcpJSON 設定は下の「開発者向け」にあります
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/mcpClaude 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 秘密 必須 envLEMMA_API_BASE env説明は英語の原文のままです。
この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
npm: @lemmaoracle/mcpこのサーバーのつなぎ方と、各アプリの公式ドキュメントに基づきます。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_attributesQuery 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_schemaRetrieve 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_circuitRetrieve 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_generatorRetrieve 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_statusGet 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
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月14日にチェック
レジストリ名は、リポジトリを所有するGitHubアカウント lemmaoracle で確認済みです
コードの最終更新:今日
GitHubがライセンスの種類を判別できませんでした。ファイルを開いて確認してください
375ミリ秒で応答(HTTP 200)
サインイン不要
5件のツールの説明を読み、AIへの隠れた指示は見つかりませんでした
質問、コツの共有、使えないことの報告ができます。「役に立った」の多い順です。
まだレビューはありません
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック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 enables AI tools to interact with Puter: manage files, websites, workers, and more
XcodeBuildMCP provides tools for Xcode project management, simulator management, and app utilities.
XcodeBuildMCP provides tools for Xcode project management, simulator management, and app utilities.
作者のリポジトリから書かれたとおりにコピーしたものです。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.
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.
Two ways to connect — pick whichever matches your agent setup.
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.
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).
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.
This server exposes the following MCP tools (no resources or prompts in the current MVP):
| Tool | Phase | Description |
|---|---|---|
lemma_query_verified_attributes | MVP | Query cryptographically verified attributes from Lemma. Use this as the primary entry point for finding documents whose attributes match given conditions. |
lemma_get_schema | MVP | Retrieve a Lemma schema (attribute structure) by ID. |
lemma_get_circuit | MVP | Retrieve a ZK proof circuit (constraints + verifier) by ID. |
lemma_get_generator | MVP | Retrieve a document generator (input/output spec) by ID. |
lemma_get_proof_status | MVP | Get the verification status of a proof by its verificationId. |
lemma_register_document | Phase 2 | Register a new document on Lemma. |
lemma_submit_proof | Phase 2 | Submit a ZK proof for verification. |
@modelcontextprotocol/sdk (≥ 1.29).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.
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.