Skip to main content
Glama

Server Details

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

If you are the author of this connector, you can claim ownership by verifying the domain or GitHub account it belongs to. Claimed connector authors can inspect health checks, view analytics, and manage their listing.
Status
Healthy
Uptime
100.0% over 47 days
Last Tested
Transport
Streamable HTTP · MCP 2025-11-25
URL
Repository
ypratap11/dokimo-mcp
GitHub Stars
0
Server Listing
dokimo-mcp

TDQS

A4.2/5.0

Scored across 3 tools

Disambiguation4/5

The three tools target distinct stages: discovery (agent card), local proof recomputation, and networked anchor verification. The only mild overlap is that both recompute_merkle_root and verify_evidence_package recompute a Merkle proof, but the descriptions explicitly frame one as offline-only and the other as the anchored check, so an agent can choose correctly.

Naming Consistency4/5

All names are snake_case and two follow a clear verb_noun pattern (recompute_merkle_root, verify_evidence_package). dokimo_agent_card deviates as a bare noun phrase with a server prefix, but it is still readable and unambiguous.

Tool Count4/5

Three tools is on the thin side but each maps to a genuinely distinct capability (discovery, local check, remote check) with no filler. The surface is well-scoped to a narrow Merkle-anchor verification service.

Completeness3/5

The core verification lifecycle is covered, but there are notable gaps: no tool to fetch or construct an evidence package, no batch/multi-record verification (explicitly one record only), and no way to inspect anchors or record status. Agents can work around these by supplying packages themselves, but coverage is partial.

Available Tools

3 tools
dokimo_agent_cardA
Read-onlyIdempotent
Inspect

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

NameRequiredDescriptionDefault

No parameters

TDQS

A4.3/5.0
Behavior4/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

Annotations already declare readOnlyHint=true, idempotentHint=true, and openWorldHint=true, so the safety profile is covered structurally. The description adds genuine value beyond annotations by disclosing what the card contains (skills, endpoints, A2A versions), which is useful behavioral context about what the returned document will describe. No contradiction with annotations.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness5/5

Is the description appropriately sized, front-loaded, and free of redundancy?

A single sentence that leads with the verb 'Fetch', states the target, and appends a useful parenthetical definition of what an agent card is. Zero wasted words; every clause earns its place.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness5/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

For a zero-parameter, read-only discovery tool with comprehensive annotations and no output schema, the description fully equips an agent to call it correctly. Nothing about when, how, or what it returns is left ambiguous.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters4/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

The tool has zero parameters, so there is nothing for the description to clarify. Per the rubric, a 0-parameter tool gets a baseline of 4, and the description correctly stays silent on parameters rather than inventing unnecessary detail.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose5/5

Does the description clearly state what the tool does and how it differs from similar tools?

States a specific verb ('Fetch'), a specific resource ('Dokimo's public A2A agent card'), and explains what the card contains (skills, endpoints, supported A2A versions). The phrase 'discovery document' clearly distinguishes it from the verification-focused siblings (verify_evidence_package, recompute_merkle_root) without needing to open schemas.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines3/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

The description implies this is the discovery step — you read the card to learn capabilities before verifying — but it never explicitly states when to call it versus the sibling verification tools. No exclusions or alternatives are named, so the agent must infer the usage context.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

recompute_merkle_rootA
Read-onlyIdempotent
Inspect

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 returned root to the ``root`` in an
evidence package yourself; if it differs, the package was tampered with.

Returns ``{recomputed_root, merkle_scheme, steps}``.
NameRequiredDescriptionDefault
leafYesThe raw leaf value (e.g. a JSON string like '{"k":"total_assets","v":"..."}'). Hashed in the leaf domain as H(0x00 ‖ leaf).
proof_pathYesOrdered 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.

TDQS

A4.4/5.0
Behavior4/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

Annotations already declare readOnlyHint, idempotentHint, and openWorldHint=false, so the safety profile is covered. The description adds valuable context: it is purely local, performs no network or anchor check, and specifies the exact return shape {recomputed_root, merkle_scheme, steps}.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness4/5

Is the description appropriately sized, front-loaded, and free of redundancy?

The local-only constraint is front-loaded, then the algorithm, then the verification instruction. It is somewhat dense but every sentence carries functional information and nothing is wasted.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness5/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

Although there is no output schema, the description names the return fields, and it fully specifies the hashing scheme and verification procedure. An agent has everything needed to invoke and interpret the result.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters4/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema coverage is 100%, so the baseline is 3, but the description adds real meaning: it explains the leaf is hashed in the leaf domain (H(0x00 ‖ leaf)) and that proof_path is replayed with internal nodes hashed as H(0x01 ‖ left ‖ right), with side semantics restated. This algorithmic context goes beyond the schema's field-level definitions.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose5/5

Does the description clearly state what the tool does and how it differs from similar tools?

States a specific verb+resource (recompute Merkle root) and immediately scopes it as local-only, explicitly contrasting with network and anchor-check behavior. The distinction from verify_evidence_package is clear from the 'no network call, no anchor check' framing.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines4/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

Tells the agent what to do with the result ('compare the returned root to the root in an evidence package yourself; if it differs, the package was tampered with'), giving clear usage context. It stops short of naming verify_evidence_package as the alternative for full package verification, leaving that inference to the agent.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

verify_evidence_packageA
Read-onlyIdempotent
Inspect

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 Base. The verdict is Dokimo's answer and
is not signed. ``package`` must contain: ``leaf`` (str), ``root`` (str),
``proof_path`` (list of [sibling_hash, "L"|"R"]), and
``rule_version_commitment`` (str); for a v2 close also ``summary`` and
``binding``; ``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. It covers this one record only.
NameRequiredDescriptionDefault
packageYesThe Dokimo evidence package to verify. Required keys: 'leaf' (str), 'root' (str), 'proof_path' (list of [sibling_hash, "L"|"R"]), and 'rule_version_commitment' (str). For a dokimo-anchor-v2 close (every close anchored after the v2 cutover) also 'summary' (the close summary) and 'binding' (the leaf's evidence binding); without them the package is checked as legacy v1. 'close_id' (str) is optional and echoed back.

TDQS

A4.4/5.0
Behavior5/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

Goes well beyond the annotations by disclosing that the call leaves the process (public A2A endpoint), that the verdict is Dokimo's answer and is NOT signed, and that missing v2 fields silently downgrade the check to legacy v1. That last point is a non-obvious behavioral fallback an agent must know about before calling.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness4/5

Is the description appropriately sized, front-loaded, and free of redundancy?

Front-loads the core action, then follows with transport, required payload, and return shape in a logical order with no filler. It is a bit dense for one paragraph and the trailing line break is untidy, but every sentence carries information.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness5/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

No output schema exists, but the description compensates by sketching the return object (verified, checks: recompute, onchain_anchor, rule_version_bound) and the exact condition for verified=true. Combined with full parameter disclosure, an agent has everything needed to call and interpret it.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters3/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema coverage is 100% and the nested package schema already enumerates leaf, root, proof_path, rule_version_commitment, summary, binding and the optional close_id. The description largely restates those same keys, adding only slight emphasis on the v1/v2 implication, so baseline 3 is appropriate.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose5/5

Does the description clearly state what the tool does and how it differs from similar tools?

States a specific verb and resource: 'check one record of an evidence package against the on-chain anchor', and names what is being validated (Merkle proof + anchored commitment). The scope 'covers this one record only' plus the emphasis on on-chain anchoring clearly separates it from recompute_merkle_root and dokimo_agent_card.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines4/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

Gives clear context for use: submit a package to Dokimo's A2A endpoint to get a verdict, and states the scope limit ('this one record only'). It never explicitly names the sibling recompute_merkle_root as the lighter-weight alternative for a local recompute, so the routing is implied rather than spelled out.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

Tool Schema Changelog

Recent tool additions, removals, and schema changes observed during successful MCP inspections.

  1. 1 tool update
    • Changedverify_evidence_package1 field changed
      • changedInput schema / properties / package / description
        Previous value: -"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."New value: +"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). For a dokimo-anchor-v2 close (every close anchored after the v2 cutover) also 'summary' (the close summary) and 'binding' (the leaf's evidence binding); without them the package is checked as legacy v1. 'close_id' (str) is optional and echoed back."
  2. 3 tool updates
    • First observeddokimo_agent_card
    • First observedrecompute_merkle_root
    • First observedverify_evidence_package

Related MCP Connectors

Related MCP Servers

  • A
    license
    A
    quality
    B
    maintenance
    Enables AI agents to fetch and independently verify on-chain data such as account balances and contract code hashes using Merkle proofs and ECDSA signatures, with x402 payment integration.
    3
    MIT
  • F
    license
    Not graded
    quality
    D
    maintenance
    Cryptographically anchored, tamper-evident evidence receipts for AI agents — verified run receipts, existence-at-time proofs, and cited answers from an anchored public record. Remote MCP with proof-gated settlement; attests existence and integrity, never truth.
    -
  • A
    license
    Not graded
    quality
    B
    maintenance
    Enables agents and audit systems to hash execution logs into tamper-proof Merkle trees, compute cryptographic inclusion proofs, and verify audit-trail integrity on demand. It runs as a zero-dependency Python MCP server (stdio JSON-RPC) or as an importable module, exposing anchoring, proof generation, and integrity verification over local agent activity records.
    7
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    Trust layer for agent work: verify the artifact an AI agent produced, meter what the run actually cost, and keep the agent inside its mandate. Signed receipts verify offline. 20 checks/day free, then 0.005 USDC per call or $49 per environment per month. Locales: en, hi.
    MIT
Try in Browser

Glama MCP Gateway

Add one secure layer between your agents and this server.