Skip to main content
Glama

Hive Zk Attestation

Server Details

Zero-knowledge attestation for agent capability and trust score claims

Status
Healthy
Last Tested
Transport
Streamable HTTP
URL
Repository
srotzin/hive-mcp-zk-attestation
GitHub Stars
0
Server Listing
hive-mcp-zk-attestation

Glama MCP Gateway

Connect through Glama MCP Gateway for full control over tool access and complete visibility into every call.

MCP client
Glama
MCP server

Full call logging

Every tool call is logged with complete inputs and outputs, so you can debug issues and audit what your agents are doing.

Tool access control

Enable or disable individual tools per connector, so you decide what your agents can and cannot do.

Managed credentials

Glama handles OAuth flows, token storage, and automatic rotation, so credentials never expire on your clients.

Usage analytics

See which tools your agents call, how often, and when, so you can understand usage patterns and catch anomalies.

100% free. Your data is private.
Tool DescriptionsA

Average 4.4/5 across 8 of 8 tools scored.

Server CoherenceA
Disambiguation5/5

Each tool has a clear, distinct purpose. The earn tools (leaderboard, me, register) are separable, and the ZK tools (anchor, attest, list, query, verify) each target a different operation on the attestation lifecycle, with no overlapping functionality.

Naming Consistency4/5

Naming follows a clear prefixed pattern: hive_earn_* for earning and zk_* for zero-knowledge operations. While the pattern is recognizable, the verb usage is not uniform (e.g., 'leaderboard' is a noun, 'me' is a pronoun, whereas ZK tools use verbs like 'anchor' and 'verify'), which is a minor deviation from a strict verb_noun convention.

Tool Count5/5

With 8 tools, the server is well-scoped for its two domains: earning and ZK attestation. Each tool earns its place, and the count is neither too thin nor too heavy for the apparent purpose.

Completeness5/5

The earning domain covers registration, personal info, and leaderboard access, which is the full lifecycle for an attribution payout system. The ZK domain covers attestation creation, anchoring, verification, querying, and circuit enumeration, leaving no obvious dead ends for the stated purposes.

Available Tools

8 tools
hive_earn_leaderboardAInspect

Top earning agents on the Hive Civilization, by attribution payout in USDC. Real Base USDC settlement. Calls GET https://hivemorph.onrender.com/v1/earn/leaderboard?window=. Returns "rails not yet live" gracefully if upstream is not yet deployed.

ParametersJSON Schema
NameRequiredDescriptionDefault
windowNoTime window. One of: "7d", "30d", "lifetime". Default "7d".
Behavior4/5

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

No annotations are provided, so the description carries the burden of behavioral transparency. It discloses the HTTP method (GET), the endpoint URL, the real settlement detail, and a graceful failure message ('returns "rails not yet live" gracefully if upstream is not yet deployed'). It does not mention response format or side effects, but the operation is a safe read and the graceful error adds transparency.

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 is three sentences, each earning its place: purpose, endpoint/URL, and graceful failure behavior. It is concise, front-loaded with the main purpose, and contains no fluff.

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?

For a simple tool with one optional parameter and no output schema, the description covers the essential usage including the endpoint and error handling. However, it does not describe the return structure (e.g., fields like agent addresses and amounts), which would be helpful for the agent to know what to expect. Still, it is nearly complete for the tool's simplicity.

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% with a clear enum and default, so the baseline is 3. The description adds value by showing the URL template with ?window=<window>, connecting the parameter to the actual request. This goes beyond the schema's basic documentation of the enum 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 clearly states the tool's purpose: 'Top earning agents on the Hive Civilization, by attribution payout in USDC.' This uses a specific verb ('list' implied) and a distinct resource (leaderboard), and it is distinguishable from siblings like hive_earn_me (individual earnings) and hive_earn_register (registration).

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?

The description clearly implies when to use the tool (to view top earners) and the context is obvious. However, it does not explicitly mention alternatives or when not to use it, unlike a perfect score. Sibling tool names provide differentiation, but the description itself does not reference them.

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

hive_earn_meAInspect

Look up the caller agent's registered earn profile, lifetime + pending USDC balance, last payout tx hash, and next-payout ETA. Real Base USDC, no mock data. Calls GET https://hivemorph.onrender.com/v1/earn/me?agent_did=. Returns "rails not yet live" gracefully if upstream is not yet deployed.

ParametersJSON Schema
NameRequiredDescriptionDefault
agent_didYesAgent DID to look up. Required.
Behavior4/5

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

With no annotations, the description carries full disclosure burden. It specifies the HTTP GET endpoint, the real data nature ('Real Base USDC, no mock data'), and the graceful failure mode ('returns "rails not yet live"'). However, it doesn't explicitly state prerequisites like registration or behavior for non-registered/invalid DIDs, which would be useful.

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?

Three sentences, each earning its place: the first states purpose and returned data, the second confirms data authenticity, and the third provides endpoint and error handling. Front-loaded with the action and fully informative without waste.

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?

Despite having only one parameter and no output schema, the description is complete for the tool's complexity. It names all returned fields, explains the endpoint, and covers the main failure case. No critical information is missing for an agent to correctly invoke and interpret the response.

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

Parameters5/5

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

The schema only says 'Agent DID to look up. Required.' The description adds critical semantic context: the DID is the caller's own agent DID, and shows the URL template where it's inserted. This clarifies exactly what value to pass, going beyond the schema's generic description.

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 clearly states the tool's purpose with a specific verb ('Look up') and resource ('caller agent's registered earn profile'), and enumerates the exact data returned. It distinguishes itself from sibling tools by emphasizing it's for the caller's own profile, not the leaderboard or registration.

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?

The description implies when to use this tool: when you need the caller agent's own earn profile, as opposed to hive_earn_leaderboard or hive_earn_register. It doesn't explicitly state exclusions or name alternatives, but the 'caller agent's' phrasing and sibling names provide sufficient contextual guidance.

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

hive_earn_registerAInspect

Register an agent for the Hive Civilization attribution payout program. Settlement on real Base USDC. 5% kickback on attributed traffic, weekly payout. Calls POST https://hivemorph.onrender.com/v1/earn/register on behalf of the caller. Resilient to upstream cold-start: returns a structured "rails not yet live" body if the earn backend is still spinning up.

ParametersJSON Schema
NameRequiredDescriptionDefault
agent_didYesCaller agent DID (e.g. did:hive:0x… or did:web:…). Required.
payout_addressYesBase L2 EVM address (0x…) to receive USDC kickback payouts.
attribution_urlYesPublic URL of the agent / page driving attributed traffic to Hive. Used for ranking + audit.
Behavior4/5

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

With no annotations, the description carries the full burden. It discloses that the tool makes a POST call on behalf of the caller, includes the exact URL, and describes the cold-start resilience behavior. It omits details about the successful response or reversibility, but the key side-effects and error resilience are covered.

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 is concise, front-loaded with the core purpose, and every sentence contributes useful details (settlement, kickback, endpoint, resilience). It is well-structured for quick parsing.

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

Completeness3/5

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

The tool has no output schema, and the description only specifies behavior in the cold-start case, leaving the successful response shape unclear. It also does not mention idempotency or prerequisites, which are relevant for a registration tool.

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. The description adds meaningful context linking parameters to the program economics ('5% kickback', 'attributed traffic'), which enriches the understanding of payout_address and attribution_url beyond the schema descriptions.

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 opens with a specific verb and resource: 'Register an agent for the Hive Civilization attribution payout program.' It further distinguishes the tool from siblings by detailing the program specifics (Base USDC settlement, 5% kickback, weekly payout) and the HTTP endpoint, making its role unique among the listed tools.

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?

The description clearly implies that this tool is for registering into the earn program, contrasting with siblings like leaderboard or me. However, it does not explicitly state alternatives or when not to use it, so it falls short of a full 5.

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

zk_anchor_to_baseAInspect

Write an attestation commitment (32-byte hash) to Base via the Hive gateway. Anchors the attestation only; does not bridge value or move state to Aleo. Aleo snarkVM consumes the attestation independently via Leo programs (future hive-leo-circuits repo). Cost: $0.02 USDC + L1 gas. Backend RFC-stage; returns backend_pending until rails land.

ParametersJSON Schema
NameRequiredDescriptionDefault
agent_didYesDID of the attesting agent
proof_commitmentYesHex-encoded 32-byte commitment to the proof
verification_key_idNoIdentifier of the verification key referenced by the proof
Behavior5/5

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

With no annotations provided, the description fully discloses key behavioral traits: it anchors only, does not move state, has a specific cost, and returns 'backend_pending' until rails land. This goes beyond the schema and gives the agent essential expectations about side effects and current reliability.

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 is three sentences, front-loaded with the core purpose, then adds critical constraints, cost, and status. Every sentence provides value with no redundant content, making it appropriately concise for the tool's complexity.

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?

Despite having no output schema, the description covers return behavior ('backend_pending'), cost, scope limitations, and the relationship to Aleo snarkVM. This fully equips the agent to understand the tool's operational context and limitations, exceeding what is typical for a write operation with three parameters.

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 description coverage is 100%, so the baseline is 3. The description adds limited parameter meaning beyond the schema, such as reinforcing that proof_commitment is a 32-byte hash, but overall it does not significantly enhance the parameter understanding beyond what the JSON schema already provides.

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 clearly states the specific action: 'Write an attestation commitment (32-byte hash) to Base via the Hive gateway.' It also distinguishes this from related operations by explicitly noting what it does not do ('does not bridge value or move state to Aleo'), differentiating it from sibling tools like zk_verify_proof.

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?

The description provides clear context on when to use the tool: for anchoring attestations only, with explicit exclusions (no bridging). It also adds practical usage constraints like cost and backend maturity ('RFC-stage returns backend_pending'). However, it does not explicitly name alternative tools or provide a direct 'use this when' statement, though the exclusions imply the boundary.

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

zk_attest_agent_stateAInspect

Produce a zero-knowledge attestation of an agent state hash + DID. Primary verification target is Aleo snarkVM (Varuna over BLS12-377); native Hive verification is next. Attestation-only — emits a proof, not a token; no value crosses chains. Cost: $0.05 USDC on Base. Backend RFC-stage; returns backend_pending until rails land.

ParametersJSON Schema
NameRequiredDescriptionDefault
circuitNoCircuit identifier; defaults to varuna-bls12377-agent-state-v1 (snarkVM-compatible)
agent_didYesDID of the agent whose state is being attested
state_hashYesHex-encoded 32-byte hash of the agent state (poseidon or sha256)
public_inputsNoOptional public inputs as hex strings
Behavior5/5

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

With no annotations provided, the description carries the full transparency burden. It discloses cost ($0.05 USDC on Base), the proof-not-token semantics, that no value crosses chains, and the backend RFC-stage status with backend_pending behavior. This is rich, non-obvious behavioral information.

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 is four sentences, front-loaded with the main purpose, followed by target, semantic caveat, cost, and status. Every sentence contributes essential information with no fluff.

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?

The description covers purpose, verification target, semantic behavior, cost, and backend status. It mentions backend_pending as a return value but does not describe a successful response shape; however, no output schema exists, and the description is otherwise comprehensive for a complex tool.

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 already provides 100% coverage with descriptions for all four parameters. The description adds no param-specific syntax or format details beyond naming the key inputs (state hash and DID) in the purpose statement. Thus 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?

The description opens with a specific verb+resource: 'Produce a zero-knowledge attestation of an agent state hash + DID.' This clearly distinguishes the tool from siblings like zk_verify_proof, zk_query_attestation, and zk_anchor_to_base.

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?

The description provides concrete context for when to use the tool (e.g., when targeting Aleo snarkVM) and a clear boundary ('Attestation-only — emits a proof, not a token; no value crosses chains'), which implicitly tells the user not to use it for token transfers. However, it does not explicitly name alternative tools or include formal 'use X instead' guidance.

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

zk_list_circuitsAInspect

Enumerate supported circuits and verification key fingerprints. Primary: Varuna over BLS12-377 (Aleo snarkVM-compatible). Research-stage: Groth16, Plonk. Future: Risc0, Plonky2. Free. Read-only.

ParametersJSON Schema
NameRequiredDescriptionDefault

No parameters

Behavior4/5

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

With no annotations, the description carries the full burden and explicitly states 'Free' and 'Read-only', disclosing cost and side-effect profile. It also lists supported circuits, giving a preview of expected content, though it doesn't detail return format or error handling.

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 is extremely concise, with the key action front-loaded. Every sentence adds valuable information: enumeration scope, circuit categories, cost, and safety. No wasted words.

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?

For a simple list tool with no parameters and no output schema, the description is quite complete: it states what is listed, the specific circuits, that it's free and read-only. It could mention the structure of the output (e.g., list of circuit names and fingerprints), but is otherwise contextually sufficient.

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 the baseline is 4. The description adds meaning by explaining what the tool enumerates, which is more than the empty schema provides. No parameter explanation needed.

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 clearly states the tool enumerates supported circuits and verification key fingerprints, with specific circuit names (Varuna, Groth16, Plonk, Risc0, Plonky2). This distinguishes it from sibling tools that perform anchoring, attestation, querying, or verification.

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?

The description provides clear context by categorizing circuits as primary, research-stage, and future, indicating the maturity and availability of each. It doesn't explicitly state when to use this over alternatives, but the context is sufficient for an agent to understand it's a listing/exploration tool.

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

zk_query_attestationAInspect

Fetch a previously-anchored attestation by Base transaction hash. Returns the proof commitment, verification key id, agent DID, and block number. Free. Read-only.

ParametersJSON Schema
NameRequiredDescriptionDefault
tx_hashYesBase L2 transaction hash of the anchored attestation
Behavior4/5

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

With no annotations provided, the description carries the full burden of safety disclosure. It explicitly states the operation is read-only and free, which are key behavioral traits. It also lists the return fields, giving the agent a clear picture of the output without an output schema.

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 is two succinct sentences, front-loaded with the primary verb and object, followed by return values and cost/safety notes. Every word adds value and there is no redundant 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?

For a single-parameter, read-only query with no output schema, the description covers all essential aspects: the exact retrieval key, the returned fields, and the free/read-only nature. This is sufficient for an agent to select and invoke the tool correctly.

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 already fully describes the single parameter tx_hash as 'Base L2 transaction hash of the anchored attestation', so schema coverage is 100%. The description's phrase 'previously-anchored' reinforces the schema but does not add new semantic meaning beyond what is already provided.

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 clearly states the action (fetch), the resource (a previously-anchored attestation), and the lookup method (by Base transaction hash). It is distinct from sibling tools such as zk_anchor_to_base, which creates the anchor, and zk_verify_proof, which verifies a proof.

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?

The description establishes when to use the tool: to retrieve an attestation after it has been anchored, given its transaction hash. It does not explicitly name alternatives or exclusions, but the context is clear and the sibling tool names help differentiate use cases.

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

zk_verify_proofAInspect

Verify a submitted attestation against a known verification key. Aleo snarkVM (Varuna/BLS12-377) is the primary verification target via the snark.verify opcode. Returns boolean validity plus the verification key fingerprint. Free. Read-only — no settlement, no on-chain write.

ParametersJSON Schema
NameRequiredDescriptionDefault
proofYesHex-encoded proof bytes (Varuna; Groth16/Plonk research-stage only)
public_inputsNoPublic inputs the proof was generated against
verification_key_idYesIdentifier of the verification key to check against
Behavior4/5

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

With no annotations, the description carries the full burden. It discloses read-only behavior (no settlement, no on-chain write), free execution, and the return format (boolean validity + fingerprint). It doesn't cover error handling or permission requirements, but for a verification tool this is fairly transparent.

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?

Three sentences: purpose, target detail, and return/behavior. Front-loaded with the main action, no redundant words, and each sentence adds value.

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?

The description is adequate for a verification tool: it states inputs, return values, and side-effect profile. It could mention how to obtain verification_key_id or what happens with invalid proofs, but the schema covers parameters and the behavior is reasonably complete.

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?

Input schema has 100% coverage, so baseline is 3. The description adds minimal new parameter meaning beyond the schema; it mentions Varuna/Groth16/Plonk research-stage for proof, but that is already in the schema description. No extra detail for verification_key_id or public_inputs.

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 tool's purpose is clearly stated: 'Verify a submitted attestation against a known verification key.' It identifies the primary technical target (Aleo snarkVM) and distinguishes itself from sibling tools focused on attestation creation or queries.

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 gives context that this is read-only and free, but does not explicitly say when to use this over alternatives (e.g., zk_query_attestation). It implies usage for verifying proofs, but no exclusions or alternative recommendations are provided.

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

Discussions

No comments yet. Be the first to start the discussion!

Related MCP Servers

View all MCP Servers

Try in Browser

Your Connectors

Sign in to create a connector for this server.