SuperAPI AI 工具集

dokimo-mcp

dokimo-mcp 是一个开源的 MCP 服务器,用于验证 AI 智能体的收入声明。它通过重新计算 Merkle 证明并核验链上锚定(x402、智能体支付场景),让一个 AI 智能体能够审计另一个智能体提交的可信证据,实现“智能体审计智能体”的能力。

访问官网

工具介绍

用途

dokimo-mcp 是一个 MCP(Model Context Protocol)服务器,目标是把 Dokimo 的无信任证据验证能力以工具形式暴露给任意 MCP 客户端(如 Claude Desktop、IDE 智能体、自定义智能体),使一个 AI 智能体能够验证另一个智能体的收入声明。

主要能力

它提供 Dokimo 的“无信任证据验证”工具集,验证逻辑包含两道必要条件:

  1. 调用方提供的 (leaf, proof_path) 重新计算后必须能得到所声明的 root;
  2. (root, rule_version_commitment) 的组合承诺必须已在链上锚定。

只要篡改一个字节,重算就会失败;替换规则版本,承诺随之改变,便不满足链上锚定。因此不存在绕过这两步而得到 verified: true 的路径。这一验证模型对应“智能体审计智能体”的定位。

使用方式

作为 MCP 客户端使用:在 Claude Desktop 中,需将其添加到 claude_desktop_config.json;若 dokimo-mcp 不在 PATH 中,则使用模块形式调用。随后可以要求智能体执行:

  • “Use Dokimo to verify this evidence package”(粘贴一个证据包)
  • “recompute this Merkle root and tell me if it matches”

托管 / HTTP 模式:默认传输方式为 stdio(本地使用)。设置 MCP_TRANSPORT=http 后,会在 $PORT(默认 8081)的 /mcp 上以 MCP Streamable HTTP 形式提供服务,并带 CORS——这是 Smithery 等托管平台需要的形态。仓库包含的 Dockerfile 与 smithery.yaml(runtime: container)正是为此准备,Smithery 可直接从该仓库构建并托管。

适用场景

适用于需要验证 AI 智能体收入声明真伪的场景,尤其是面向自主商业的支付场景(x402 / AP2 / Stripe)。Dokimo 定位为“自主商业的可验证收入基础设施”,为 AI 智能体机器支付提供可审计、可独立复现的账目,每个数字都以防篡改方式提交并在链上锚定。

限制

诚实边界:该工具只能证明某个上报数字是可复现、且相对链上锚定是防篡改的,并不能证明任何底层业务数字是“好”的。它是非托管式的,仅读取链上公开状态。本仓库是一个轻量、自包含的客户端:调用 Dokimo 的公开端点并实现公开的 dokimo-merkle-v1 哈希方案,不包含专有代码,采用 MIT 许可。其余具体安装命令、代码内容与官方 URL 见官方资料,价格、平台支持细节等暂未提供。