dokimo-mcp
Verify AI-agent revenue: recompute a Merkle proof and check it against an on-chain anchor.
我该使用它吗
质量与安全性
基于对工具定义和协议合规性的自动分析。
上下文开销
这是每次将服务器的工具加载到模型上下文窗口时所消耗的大致 token 数。数值越高，可用于其他任务的注意力就越少。
安装
一键安装
将以下内容添加到你的 `claude_desktop_config.json` 文件中：
{
"mcpServers": {
"dokimo-mcp": {
"url": "https://dokimo.augaster.com/mcp"
}
}
}远程端点
https://dokimo.augaster.com/mcpstreamable-http它能做什么
工具清单
工具（3）
🟢recompute_merkle_root(leaf, proof_path)
Trustlessly recompute a dokimo-merkle-v1 root — LOCAL, no network, no trust. Hash ``leaf`` in the leaf domain (H(0x00 ‖ leaf)) and replay ``proof_path`` — a list of ``[sibling_hash, side]`` where side is "L" or "R" — hashing internal nodes as H(0x01 ‖ left ‖ right). Compare the returned root to the ``root`` in an evidence package yourself; if it differs, the package was tampered with. Returns ``{recomputed_root, merkle_scheme, steps}``.
输入模式
{
"type": "object",
"properties": {
"leaf": {
"description": "The raw leaf value (e.g. a JSON string like '{\"k\":\"total_assets\",\"v\":\"...\"}'). Hashed in the leaf domain as H(0x00 ‖ leaf).",
"title": "Leaf",
"type": "string"
},
"proof_path": {
"description": "Ordered Merkle proof path: a list of [sibling_hash_hex, side] pairs, where side is \"L\" if the sibling is on the left or \"R\" if on the right. Empty list for a single-leaf tree.",
"items": {},
"title": "Proof Path",
"type": "array"
}
},
"required": [
"leaf",
"proof_path"
],
"title": "recompute_merkle_rootArguments"
}🟢verify_evidence_package(package)
Fully verify a Dokimo evidence package against the LIVE on-chain anchor. Sends the package to Dokimo's public A2A endpoint, which recomputes the Merkle proof AND checks the compound commitment (root + rule version) against the anchor on Base. ``package`` must contain: ``leaf`` (str), ``root`` (str), ``proof_path`` (list of [sibling_hash, "L"|"R"]), and ``rule_version_commitment`` (str); ``close_id`` is optional/echoed. Returns the verdict: ``{verified, checks:{recompute, onchain_anchor, rule_version_bound}, ...}``. ``verified`` is true only if the proof recomputes AND the commitment is anchored on-chain.
输入模式
{
"type": "object",
"properties": {
"package": {
"additionalProperties": true,
"description": "The Dokimo evidence package to verify. Required keys: 'leaf' (str), 'root' (str), 'proof_path' (list of [sibling_hash, \"L\"|\"R\"]), and 'rule_version_commitment' (str). 'close_id' (str) is optional and echoed back.",
"title": "Package",
"type": "object"
}
},
"required": [
"package"
],
"title": "verify_evidence_packageArguments"
}🟢dokimo_agent_card
Fetch Dokimo's public A2A agent card — the discovery document describing what it can verify (skills, endpoints, supported A2A versions).
输入模式
{
"type": "object",
"properties": {},
"title": "dokimo_agent_cardArguments"
}社区
证据