Skip to main content
Glama

Verify Agent Receipt

verify_agent_receipt
Read-onlyIdempotent

Free verification of an execution event and its unchanged receipt returned by issue_agent_receipt. Checks signature, scope and event commitment against this issuer. No wallet or new issuance required. Use verify_proof_receipt for the distinct common proof-envelope format. A valid signature does not independently prove execution; compare original bytes locally.

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
eventYesCommitment-only declaration of one execution step.
receiptYesSigned Datoka receipt; verify against independently trusted keys.

Output Schema

TableJSON Schema
NameRequiredDescriptionDefault
runIdYesStable identifier for this execution run.
scopeYes
validYes
stepIdYesStable identifier of the step within the run.
agentIdYesIdentifier of the declaring agent, not an independently verified identity.
receiptIdYes
attestationYes

Schema Changelog

Changes observed during successful MCP inspections.

  1. Changed1 schema field changed
    • addedInput schema / properties / event / properties / version / description
      Added value: +"Declaration format version; preserve this literal."
  2. Changed20 schema fields changed
    • changedInput schema / $schema
      Previous value: -"http://json-schema.org/draft-07/schema#"New value: +"https://json-schema.org/draft/2020-12/schema"
    • addedInput schema / properties / event / description
      Added value: +"Commitment-only declaration of one execution step."
    • addedInput schema / properties / event / properties / agentId / description
      Added value: +"Identifier of the declaring agent, not an independently verified identity."
    • addedInput schema / properties / event / properties / completedAt / description
      Added value: +"Declared completion in UTC with milliseconds, at or after start."
    • addedInput schema / properties / event / properties / inputHash / description
      Added value: +"SHA-256 of the exact input bytes, computed locally. Never send raw input."
    • addedInput schema / properties / event / properties / inputHash / properties / algorithm / description
      Added value: +"Hash algorithm."
    • addedInput schema / properties / event / properties / inputHash / properties / digest / description
      Added value: +"64 lowercase hexadecimal characters; SHA-256 of exact bytes."
    • addedInput schema / properties / event / properties / outcome / description
      Added value: +"Outcome declared by the caller; Datoka does not observe execution."
    • addedInput schema / properties / event / properties / outputHash / description
      Added value: +"SHA-256 of exact output bytes, computed locally. Never send raw output."
    • addedInput schema / properties / event / properties / outputHash / properties / algorithm / description
      Added value: +"Hash algorithm."
    • addedInput schema / properties / event / properties / outputHash / properties / digest / description
      Added value: +"64 lowercase hexadecimal characters; SHA-256 of exact bytes."
    • addedInput schema / properties / event / properties / runId / description
      Added value: +"Stable identifier for this execution run."
    • addedInput schema / properties / event / properties / startedAt / description
      Added value: +"Declared start time in UTC, with milliseconds."
    • addedInput schema / properties / event / properties / stepId / description
      Added value: +"Stable identifier of the step within the run."
    • addedInput schema / properties / event / properties / tool / description
      Added value: +"Tool or operation identifier declared by the caller."
    • addedInput schema / properties / receipt / description
      Added value: +"Signed Datoka receipt; verify against independently trusted keys."
    • changedOutput schema / $schema
      Previous value: -"http://json-schema.org/draft-07/schema#"New value: +"https://json-schema.org/draft/2020-12/schema"
    • addedOutput schema / properties / agentId / description
      Added value: +"Identifier of the declaring agent, not an independently verified identity."
    • addedOutput schema / properties / runId / description
      Added value: +"Stable identifier for this execution run."
    • addedOutput schema / properties / stepId / description
      Added value: +"Stable identifier of the step within the run."
  3. First observed

TDQS

A4.7/5.0
Behavior5/5

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

Annotations cover the safety profile (read-only, idempotent, non-destructive), and the description adds genuinely new behavior: what is actually checked (signature, scope, event commitment), that it is free, and the critical caveat that a valid signature does not independently prove execution.

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?

Five tight sentences, front-loaded with purpose and scope, then prerequisites, then the alternative-tool routing, then the trust caveat. Every sentence carries information an agent needs.

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?

Output schema exists, so return values need not be described; the description instead supplies the routing, prerequisite, and trust-model context the structured fields cannot. Complete for a two-parameter verification tool with rich schema and annotations.

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% across both parameters, with detailed nested field docs, so the schema carries the parameter burden. The description references the receipt and the checks performed but adds no field-level syntax or format detail beyond it, so baseline 3 applies.

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 (verify) and resource (an execution event plus its unchanged receipt) and pins the origin to issue_agent_receipt. It also distinguishes itself from the sibling verify_proof_receipt, which handles the proof-envelope format.

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

Usage Guidelines5/5

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

Explicitly routes the agent: use verify_proof_receipt for the distinct proof-envelope format, and notes no wallet or new issuance is required, making the cost/prerequisite model clear. It even signals the trusted-key dependency ('against this issuer').

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

Try in Browser

Glama MCP Gateway

Add one secure layer between your agents and this server.

Resources