Skip to main content
Glama

verify_certificate

Read-onlyIdempotent

Independently re-verify a validation certificate. Integrity mode checks the hash chain; full mode (certificate + original data) recomputes every attested rule from scratch - trust nothing, recheck everything.

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
dataNoOriginal payload for full re-verification; omit for integrity-only mode
api_keyYesGeodesicAI API key (gai_...)
certificateYesThe certificate object from a prior validation response
derivation_rulesNoRule list for independent attestation recomputation (optional)
formal_constraintsNoOptional constraints to match against the committed bundle

Schema Changelog

Changes observed during successful MCP inspections.

  1. Changed1 schema field changed
    • addedInput schema / properties / formal_constraints
      Added value: +{
      +  "default": null,
      +  "description": "Optional constraints to match against the committed bundle",
      +  "items": {},
      +  "title": "Formal Constraints",
      +  "type": "array"
      +}
  2. Changed4 schema fields changed
    • addedInput schema / properties / api_key / description
      Added value: +"GeodesicAI API key (gai_...)"
    • addedInput schema / properties / certificate / description
      Added value: +"The certificate object from a prior validation response"
    • addedInput schema / properties / data / description
      Added value: +"Original payload for full re-verification; omit for integrity-only mode"
    • addedInput schema / properties / derivation_rules / description
      Added value: +"Rule list for independent attestation recomputation (optional)"
  3. Added

TDQS

A4.4/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 destructiveHint=false, so the safety profile is covered. The description adds meaningful behavioral context: 'trust nothing, recheck everything' and the distinction between integrity-only and full recomputation. It doesn't mention rate limits or failure modes, but the core behavioral traits are disclosed beyond the 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?

Two sentences with zero waste. The first sentence states the core purpose, the second explains the two modes with a memorable imperative ('trust nothing, recheck everything'). Every word earns its place, and the most important information is front-loaded.

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 read-only, idempotent verification tool with 100% schema coverage, the description is nearly complete. It explains the two modes and their data requirements. The only gap is that it doesn't describe the return value or what a successful verification looks like, but since there's no output schema and the tool is a verification action, the absence is minor. The description covers what an agent needs to invoke it correctly.

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 description coverage is 100%, so the schema already documents all 5 parameters. The description adds value by explaining the semantic difference between integrity mode (omit data) and full mode (provide data), which maps directly to the 'data' parameter. It also clarifies that certificate comes from a prior validation response. This goes beyond the schema's basic 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 clearly states the tool's purpose: independently re-verify a validation certificate. It distinguishes two modes (integrity mode and full mode) with specific behaviors, making it distinct from siblings like verify_replay or validate. The verb 're-verify' plus the resource 'validation certificate' is specific and unambiguous.

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 each mode: integrity mode for hash chain checks, full mode for recomputing attested rules from scratch. It doesn't explicitly name alternatives or exclusions, but the mode distinction provides clear context for choosing between them. It could be improved by stating when to prefer this over verify_replay or validate, but the guidance is adequate.

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