dokimo-mcp
Verify AI-agent revenue: recompute a Merkle proof and check it against an on-chain anchor.
使うべきか
品質と安全性
ツール定義とプロトコルへの準拠に関する自動分析に基づいています。
コンテキストコスト
これは、サーバーのツールがモデルのコンテキストに読み込まれるたびに消費されるおおよそのトークン数です。数が多いほど、ほかのタスクに使える注意が減ります。
インストール
ワンクリックインストール
これを `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"
}コミュニティ
エビデンス