MCP 服务器

dokimo-mcp

io.github.ypratap11/dokimo-mcp
加密货币与 Web3 安全 公开且可连接 MCP 2025-11-25

此 MCP 可以做什么

Recomputes Merkle proofs and verifies AI-agent revenue evidence against an on-chain commitment on Base.

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', 'title': 'dokimo_agent_cardArguments', 'properties': {}}
recompute_merkle_root
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', 'title': 'recompute_merkle_rootArguments', 'required': ['leaf', 'proof_path'], 'properties': {'leaf': {'type': 'string', 'title': 'Leaf', 'description': 'The raw leaf value (e.g. a JSON string like \'{"k":"total_assets","v":"..."}\'). Hashed in the leaf domain as H(0x00 â\x80\x96 leaf).'}, 'proof_path': {'type': 'array', 'items': {}, 'title': '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.'}}}
verify_evidence_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', 'title': 'verify_evidence_packageArguments', 'required': ['package'], 'properties': {'package': {'type': 'object', 'title': 'Package', '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.', 'additionalProperties': True}}}
已添加
dokimo_agent_card
2026年9月17日 12:53
已添加
verify_evidence_package
2026年9月17日 12:53
已添加
recompute_merkle_root
2026年9月17日 12:53