Skip to main content
Glama

merkle_mountain_range_mmr_prover

Generate and verify append-only Merkle Mountain Range proofs for blockchain cross-chain block headers and rolling state updates.

Instructions

Constructs and verifies append-only Merkle Mountain Range (MMR) proofs for lightweight blockchain cross-chain block headers and rolling state proofs. (0.045 USDC on Base L2)

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
payloadYesInput parameters or JSON string payload for the tool execution
paymentSignatureNoBase L2 USDC micropayment signature or transaction hash for x402 settlement

Schema Changelog

Changes observed during successful MCP inspections.

  1. First observedv1.0.0

TDQS

C2.9/5.0
Behavior2/5

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

No annotations are provided, so the description carries the full burden of behavioral disclosure. It adds useful context (append-only semantics, the 0.045 USDC cost on Base L2) but omits critical behavior: how the paymentSignature parameter figures into settlement, what the output looks like (a proof? a boolean verification result?), and what failure modes exist. For a paid tool with no annotation safety hints, this is a significant gap.

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?

A single compact sentence front-loaded with the action and resource, followed by the use case and a brief cost note. There is no filler, and every clause earns its place; the description is efficient without being minimal.

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

Completeness2/5

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

With no annotations, no output schema, and a payment-adjacent parameter, the description should explain payload requirements, return values, and the payment flow to let an agent invoke the tool confidently. It does not, and it also leaves the differentiation from similar Merkle proof siblings unresolved. The description covers the domain well but not the operational details.

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

Parameters2/5

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

Schema description coverage is 100%, but both parameter descriptions are generic boilerplate ('Input parameters or JSON string payload for the tool execution') that could apply to any tool in this catalog. The tool description adds no explicit guidance on what the payload should contain (MMR root, leaf index, proof path, block headers) or how paymentSignature should be structured, so it fails to compensate for the vacuous schema text.

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

Purpose4/5

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

The description states specific verbs ('Constructs and verifies') paired with a precise resource ('append-only Merkle Mountain Range (MMR) proofs') and gives a concrete use case ('lightweight blockchain cross-chain block headers and rolling state proofs'). This goes beyond a tautology of the name, though it does not explicitly name sibling tools like generate_merkle_proof or zero_knowledge_merkle_membership_proof to draw the boundary.

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 'for lightweight blockchain cross-chain block headers and rolling state proofs' clause implies the intended context, giving an agent a rough sense of when this tool fits. However, there are no explicit when-to-use/when-not-to-use conditions or named alternatives, despite several Merkle-adjacent siblings (generate_merkle_proof, verify_merkle_airdrop_leaf, zero_knowledge_merkle_membership_proof) that an agent would need to disambiguate.

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

Deploy Server

Other Tools