Skip to main content
Glama
Frontier-Compute

Frontier-Compute/zcash-mcp

verify_proof

Verify ZAP1 Merkle proofs by checking leaf hash existence in the attestation tree and returning the proof path for cryptographic validation.

Instructions

Verify a ZAP1 Merkle proof. Checks whether a leaf hash exists in the ZAP1 attestation tree and returns the proof path.

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
leaf_hashYesHex-encoded leaf hash to verify (64 chars)
Behavior3/5

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

With no annotations provided, the description carries the full burden. It adds valuable behavioral context by stating it 'returns the proof path', indicating the output. However, it omits critical behavioral details such as error handling (what happens if verification fails), whether the operation is read-only, or if there are side effects.

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?

The description consists of two efficient sentences with zero waste. It is front-loaded with the core action ('Verify a ZAP1 Merkle proof') followed by specific implementation details, making it easy to scan and comprehend.

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

Completeness4/5

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

Given the tool's simplicity (single parameter, no output schema), the description is nearly complete. It compensates for the missing output schema by describing the return value ('returns the proof path'). It could be improved by mentioning validation failure behavior or authentication requirements.

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?

The input schema has 100% description coverage (defining leaf_hash as hex-encoded, 64 chars), establishing a baseline of 3. The description mentions 'leaf hash' in the context of existence checking but does not add semantic meaning beyond the schema's technical specification (e.g., what the hash represents or example values).

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?

The description uses specific verbs ('Verify', 'Checks') and resources ('ZAP1 Merkle proof', 'attestation tree') to clearly define the tool's function. It effectively distinguishes itself from siblings like 'attest_event' (which likely creates proofs) by positioning this as a verification operation.

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?

While the description implies usage by clearly stating it verifies proofs rather than creating them, it lacks explicit guidance on when to use this tool versus alternatives like 'attest_event'. No prerequisites, error conditions, or specific scenarios are mentioned.

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

Install Server

Other Tools

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/Frontier-Compute/zcash-mcp'

If you have feedback or need assistance with the MCP directory API, please join our Discord server