Dokimo Mcp

Connect Remote server

claude mcp add --transport http dokimo-mcp https://dokimo.augaster.com/mcp

{
  "mcpServers": {
    "dokimo-mcp": {
      "url": "https://dokimo.augaster.com/mcp"
    }
  }
}

{
  "servers": {
    "dokimo-mcp": {
      "type": "http",
      "url": "https://dokimo.augaster.com/mcp"
    }
  }
}

Settings > Connectors > Add custom connector
URL: https://dokimo.augaster.com/mcp

Tools 3 found in our last check

• recompute_merkle_root

  Recompute a dokimo-merkle-v1 root locally — no network call, no anchor check. 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…

• verify_evidence_package

  Ask Dokimo to check one record of an evidence package against the on-chain anchor. Sends the package to Dokimo's public A2A endpoint, which recomputes the Merkle proof AND checks the anchored commitment (root + rule version, plus the close summary for v2) against the anchor on B…

• dokimo_agent_card

  Fetch Dokimo's public A2A agent card — the discovery document describing what it can verify (skills, endpoints, supported A2A versions).

Details

More ai and media servers See all

• bv7x strategy agents

  Find bv7x prediction agents on Robinhood Chain by market; quote their sealed calls, sold via x402.

• Chronary

  Calendar API for AI agents: events, availability, Google/Microsoft setup, scheduling, and iCal.

• Mastering

  Audio mastering for AI agents: LUFS analysis, Suno artifact cleanup, free daily master.

• Modulos AI Governance Platform

  Evaluate Modulos (EU AI Act, ISO 42001, NIST AI RMF): capabilities, trust, comparisons. Book a demo.

• naulon

  Check citations and retractions by DOI, and see the x402 price an AI agent pays to cite a source.

• NextConstraint

  Your SaaS funnel's costliest leak, its fix, watchdog alerts and verdicts, from NextConstraint.