dokimo-mcp
Verify AI-agent revenue: recompute a Merkle proof and check it against an on-chain anchor.
Should I use this
Quality & Safety
Based on automated analysis of tool definitions and protocol compliance.
Context Cost
This is the approximate number of tokens consumed each time the server's tools are loaded into a model's context. Higher counts reduce the attention available for other tasks.
Install
One-Click Install
Add this to your `claude_desktop_config.json` file:
{
"mcpServers": {
"dokimo-mcp": {
"url": "https://dokimo.augaster.com/mcp"
}
}
}Remote endpoints
https://dokimo.augaster.com/mcpstreamable-httpWhat it can do
Tool inventory
Tools (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}``.
Input Schema
{
"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.
Input Schema
{
"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).
Input Schema
{
"type": "object",
"properties": {},
"title": "dokimo_agent_cardArguments"
}Community
Evidence