Index / MCP servers / Dokimo

Dokimo MCP server

Dokimo is a remote MCP server that gives an AI agent 3 tools, among them dokimo_agent_card, recompute_merkle_root, verify_evidence_package. It answers at https://dokimo.augaster.com/mcp over streamable HTTP, and it listed its tools to an anonymous client, so no sign-in was needed for that. Our probes reached it 6 of 6 times since 11 September 2026; the last check, on 24 October 2026, succeeded.

Status
Answering
Tools
3
Reliability
6 of 6 checks
Response time
563 ms
Transport
streamable HTTP
Last checked
24 October 2026

Verify AI-agent revenue: recompute a Merkle proof and check it against an on-chain anchor.

Description as the publisher wrote it.

The 3 tools Dokimo offers

ToolWhat it does
dokimo_agent_cardFetch Dokimo's public A2A agent card — the discovery document describing what it can verify (skills, endpoints, supported A2A versions).
recompute_merkle_rootTrustlessly 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
Inputs: leaf, proof_path
verify_evidence_packageFully 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 Bas
Inputs: package

Add Dokimo to your AI client

Every block below points at https://dokimo.augaster.com/mcp. Pick your client and copy.

Claude Code: one command in your terminal
claude mcp add --transport http dokimo https://dokimo.augaster.com/mcp
Claude Desktop: claude_desktop_config.json
{
  "mcpServers": {
    "dokimo": {
      "command": "npx",
      "args": ["-y", "mcp-remote", "https://dokimo.augaster.com/mcp"]
    }
  }
}
Cursor: ~/.cursor/mcp.json, or .cursor/mcp.json in a project
{
  "mcpServers": {
    "dokimo": {
      "url": "https://dokimo.augaster.com/mcp"
    }
  }
}
VS Code and GitHub Copilot: .vscode/mcp.json
{
  "servers": {
    "dokimo": {
      "type": "http",
      "url": "https://dokimo.augaster.com/mcp"
    }
  }
}
Zed: Zed settings.json
{
  "context_servers": {
    "dokimo": {
      "url": "https://dokimo.augaster.com/mcp"
    }
  }
}
Windsurf: ~/.codeium/mcp_config.json
{
  "mcpServers": {
    "dokimo": {
      "serverUrl": "https://dokimo.augaster.com/mcp"
    }
  }
}
JetBrains AI Assistant: Settings, Tools, AI Assistant, MCP, New MCP Server, as JSON
{
  "mcpServers": {
    "dokimo": {
      "url": "https://dokimo.augaster.com/mcp"
    }
  }
}
Continue: .continue/mcpServers/neuronto.yaml
name: Dokimo
version: 0.0.1
schema: v1
mcpServers:
  - name: Dokimo
    type: streamable-http
    url: https://dokimo.augaster.com/mcp
Gemini CLI: ~/.gemini/settings.json
{
  "mcpServers": {
    "dokimo": {
      "httpUrl": "https://dokimo.augaster.com/mcp"
    }
  }
}
Codex CLI: MCP server config
{
  "mcpServers": {
    "dokimo": {
      "type": "http",
      "url": "https://dokimo.augaster.com/mcp"
    }
  }
}
Warp: MCP servers, + Add, paste JSON
{
  "mcpServers": {
    "dokimo": {
      "url": "https://dokimo.augaster.com/mcp"
    }
  }
}
Goose: a one-click extension link
goose://extension?url=https%3A%2F%2Fdokimo.augaster.com%2Fmcp&type=streamable_http&id=dokimo&name=Dokimo

Is Dokimo up right now?

It answered our last check on 24 October 2026 in 563 ms. Over 6 checks since 11 September 2026 it answered 6. Status here comes from Neuronto's own probes, not from the publisher.

MCP servers similar to Dokimo

Questions about Dokimo

How many tools does Dokimo have?

3, as returned by the server's own tools/list on 22 September 2026: dokimo_agent_card, recompute_merkle_root, verify_evidence_package.

Is Dokimo down?

It answered our last check on 24 October 2026 in 563 ms. Over 6 checks since 11 September 2026 it answered 6.

How do I add Dokimo to Cursor?

Put the server under mcpServers in ~/.cursor/mcp.json with the URL https://dokimo.augaster.com/mcp. The exact JSON is above, with the same setup for Claude Code, Claude Desktop, VS Code, Windsurf, Zed, Gemini CLI and the rest.

Does Dokimo need an API key?

It listed its tools to an anonymous client, so reading the tool list needs no key. Individual tools can still ask for credentials in their own inputs.

Where this comes from

Publisher: io.github.ypratap11. Endpoint host: dokimo.augaster.com. ARD identifier: urn:air:io.github.ypratap11:mcp:dokimo-mcp. First indexed 10 September 2026. The tools are exactly what the server returned; nothing on this page is inferred from its name. Ranking in Neuronto search is never for sale.

Is this your server? Get a message the day it stops answering or its tools change: monitoring, 14 days free. Or claim the domain to manage how it is listed.