Search / io.github.ypratap11/dokimo-mcp
dokimo-mcp
R0· no sign-inVerify AI-agent revenue: recompute a Merkle proof and check it against an on-chain anchor.
v0.1.0 · active · repository · website · descriptor JSON · versions
Search / io.github.ypratap11/dokimo-mcp
R0· no sign-inVerify AI-agent revenue: recompute a Merkle proof and check it against an on-chain anchor.
v0.1.0 · active · repository · website · descriptor JSON · versions
{
"mcpServers": {
"dokimo-mcp": {
"type": "http",
"url": "https://dokimo.augaster.com/mcp"
}
}
}claude mcp add --transport http dokimo-mcp https://dokimo.augaster.com/mcp[mcp_servers.dokimo-mcp]
url = "https://dokimo.augaster.com/mcp"
{
"$schema": "https://opencode.ai/config.json",
"mcp": {
"dokimo-mcp": {
"type": "remote",
"url": "https://dokimo.augaster.com/mcp",
"enabled": true
}
}
}{
"mcpServers": {
"dokimo-mcp": {
"type": "http",
"url": "https://dokimo.augaster.com/mcp"
}
},
"deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=dokimo-mcp&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vZG9raW1vLmF1Z2FzdGVyLmNvbS9tY3AifQ%3D%3D"
}{
"servers": {
"dokimo-mcp": {
"type": "http",
"url": "https://dokimo.augaster.com/mcp"
}
}
}{
"mcpServers": {
"dokimo-mcp": {
"httpUrl": "https://dokimo.augaster.com/mcp"
}
}
}extensions:
"dokimo-mcp":
enabled: true
name: "dokimo-mcp"
type: streamable_http
uri: "https://dokimo.augaster.com/mcp"
timeout: 300
protocol.modernnewest supported version is 2025-11-25; 2026-07-28 not supported, older versions are deprecated until 2027-07-28protocol.statelessonly applies to 2026-07-28 serversprotocol.transportstreamable HTTPprotocol.list_ttlonly applies to 2026-07-28 serversauth.prm, auth.as_metadata, auth.cimdno remote uses OAuthauth.secret_in_urlno templated URLtools.descriptionsevery tool has a descriptiontools.description_lengthdescriptions are concisetools.schemasevery tool has an object input schematools.annotations3 of 3 tools declare readOnlyHint or destructiveHinttools.directory_hintsno tool declares all four of readOnlyHint, destructiveHint, idempotentHint and openWorldHint; missing: dokimo_agent_card (destructiveHint); verify_evidence_package (destructiveHint); recompute_merkle_root (destructiveHint)tools.token_costabout 665 tokens to load every tooltools.api_dumptools are not a one-to-one API dumpstability.changesno tool changes in 30 daysstability.rug_pullno tool changed its meaning under the same namedeps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI packageNo tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.
Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.
+repository +namespace-matches-repo +website +reachable +uptime-97% ~updated-39d-ago
Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.
| remote | auth | reachable | uptime 30d | p50 | protocol | last ok |
|---|---|---|---|---|---|---|
https://dokimo.augaster.com/mcp streamable-http | none | yes | 97% | 408 ms | 2025-11-25 | 2026-10-19 |
dokimo_agent_cardread-only | Fetch Dokimo's public A2A agent card — the discovery document describing what it can verify (skills, endpoints, supported A2A versions). |
recompute_merkle_rootread-only | 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}``. |
verify_evidence_packageread-only | 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. |
Schemas: list_tools.
{
"name": "io.github.ypratap11/dokimo-mcp",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"remotes": [
{
"url": "https://dokimo.augaster.com/mcp",
"type": "streamable-http"
}
],
"version": "0.1.0",
"repository": {
"url": "https://github.com/ypratap11/dokimo-mcp",
"source": "github"
},
"websiteUrl": "https://dokimo.augaster.com",
"description": "Verify AI-agent revenue: recompute a Merkle proof and check it against an on-chain anchor."
}