ypratap11/dokimo-mcp

**Give an AI agent the ability to verify another agent's revenue claims.**
An MCP server exposing Dokimo's
trustless evidence verification as tools any MCP client (Claude Desktop, IDE
agents, custom agents) can call. It's the "agent that audits agents" — as tools.
Live, clickable version of what these tools do:
**https://dokimo.augaster.com/agent-audits-agents.html**
> This is a thin, self-contained **client**: it calls Dokimo's public endpoints and
> implements the public dokimo-merkle-v1 hashing scheme. It contains no proprietary
> code. MIT-licensed.
Tools
| Tool | What it does | Network? |
|---|---|---|
| recompute_merkle_root(leaf, proof_path) | **Trustless local recompute** — hash a leaf under dokimo-merkle-v1 and replay the proof path to a root, with **no network and no trust in anyone**. Compare it to a package's claimed root yourself. | none |
| verify_evidence_package(package) | **Full verification** via Dokimo's public A2A endpoint: recompute **and** check the compound commitment (root + rule version) against the **on-chain anchor on Base**. Returns verified: true only if both hold. | Dokimo A2A |
| dokimo_agent_card() | Fetch Dokimo's public A2A agent card — what it can verify. | Dokimo |
**Verification model:** there is no path to verified: true without (1) the
caller's (leaf, proof_path) recomputing to the claimed root, **and** (2) the
compound commitment of (root, rule_version_commitment) being anchored on-chain.
Tamper one byte → recompute fails. Swap the rule version → the commitment changes
→ not anchored.
**Honest scope:** attests that a *reported* figure is reproducible and
tamper-evident against an on-chain anchor — not that any underlying business
number is "good." Non-custodial; reads public on-chain state only.
Install & run
Add to an MCP client
**Claude Desktop** — add to claude_desktop_config.json:
If dokimo-mcp isn't on PATH, use the module form:
Then ask the agent: *"Use Dokimo to verify this evidence package"* (paste one), or
*"recompute this Merkle root and tell me if it matches."*
Try it
The live demo page embeds a real, anchored evidence package. Fetch it and verify:
Hosted / HTTP mode
The default transport is **stdio** (local use). Set MCP_TRANSPORT=http to serve
**MCP Streamable HTTP at /mcp** on $PORT (default 8081) with CORS — the shape