Lemma — Verifiable Provenance For Ai Agents

@lemmaoracle/mcp

@lemmaoracle/mcp 是 模型上下文协议（MCP）服务，可让 AI Agent 访问 Lemma 的可验证溯源层——从机密文档中查询经过密码学验证的属性（零知识证明、选择性披露、篡改可检测的溯源信息），且绝不暴露明文。

模型会变。证明长存。

这是什么？

这是一个 MCP 服务。MCP（模型上下文协议）是一种开放协议，用于将 AI Agent 连接到外部工具和数据源，最初由 Anthropic 发布，如今由社区作为标准维护。本软件包使用官方 MCP SDK （@modelcontextprotocol/sdk）实现 MCP 服务，并提供一组只读 工具，用于查询 Lemma 的可验证属性 API。

当前 MVP 提供 5 个只读工具。v0.0.x 中不提供 资源和提示词；写入工具（register_document、submit_proof）计划在第 2 阶段推出。

快速开始

有两种连接方式——选择适合你的 Agent 配置的方式。

选项 1 — Smithery（托管网关，无需安装）

npx -y smithery mcp add lemmaoracle/lemma

Smithery 代理到 Lemma MCP 端点 https://lemma--lemmaoracle.run.tools 并提示输入 Lemma API 密钥。适合快速试用此服务，或适用于已支持 Smithery 的 Agent。服务页面： 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"
      }
    }
  }
}

请前往 https://lemma.frame00.com/services 获取 API 密钥。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 服务：本软件包——通过模型上下文协议将 AI Agent 连接到 Lemma API。
• Lemma API：部署在 Cloudflare Workers 上的 REST 接口，由 OpenAPI v2 定义。
• MCP SDK：此服务基于官方 @modelcontextprotocol/sdk（≥ 1.29）构建。
• 许可证：Apache-2.0。

隐私与数据处理

Lemma 的设计确保我们永远不会收到明文文档。MCP 服务只会向 Lemma API 传输承诺、哈希值和 ZK 证明。 完整隐私政策请参阅 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，请将 "LEMMA_API_BASE": "https://..." 添加到 env 中。

资源

• 文档：本 README + OpenAPI 规范
• 主页：https://lemma.frame00.com
• 问题反馈：https://github.com/lemmaoracle/lemma/issues

---

🇯🇵 日语版请点击此处 / Japanese README