Skip to main content
Glama

verify_certificate_recompute

Independently re-derive a CausalCertificate from its canonical input and compare byte-for-byte against the claimed certificate. This is the strongest verification path: it requires no trust in the issuer or signing key. Cost: 1 credit (same price as verify_certificate). Returns PASS only if every checked field (certificateId, request_hash, merkleRoot, verdict, causalGraph, fourFactorScoring, deviationTaxonomy, euRuleOverlay, cascadeAttenuation, damages, underwriting) matches identically.

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
certificateYesThe CausalCertificate object claimed by the issuer.
canonicalInputYesThe original incident body that produced the certificate — the same JSON originally posted to submit_incident or submit_otel_trace.

TDQS

A4.2/5.0
Behavior4/5

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

With no annotations, the description must cover behavioral aspects. It explains the recomputation and comparison process, lists all checked fields, and mentions cost. However, it does not describe what happens on mismatch (return value structure) or 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 is concise: two sentences plus a list of fields. Every sentence adds value, and the structure is clear. No fluff or repetition.

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 complexity (nested objects, no output schema), the description covers the tool's purpose, parameters, and verification approach adequately. Missing return format details, but the core behavior is well explained.

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?

Both parameters have schema descriptions (100% coverage). The description adds practical context for canonicalInput by noting it's the original incident JSON from submit_incident or submit_otel_trace, which aids agent understanding beyond the schema.

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 function: independently re-derive a CausalCertificate and compare byte-for-byte. It specifies the verification path, lists checked fields, and distinguishes it from verify_certificate by emphasizing no trust in issuer.

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 provides context about when to use (strongest verification, no trust needed) but lacks explicit guidance on when not to use or how it compares to alternatives beyond cost. It implies a use case but does not fully address decision criteria.

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.

TDQS

A4.2/5.0
Disambiguation5/5

Each tool targets a distinct operation: prospective gate, incident extraction, anchor status, issuer registry, jurisdiction overlay, remediation simulation, incident submission (two variants), and certificate verification (two variants). Despite two submission and two verification tools, their descriptions clearly differentiate the inputs and purposes, preventing ambiguity.

Naming Consistency5/5

All tool names follow a consistent verb_noun pattern in snake_case (e.g., evaluate_prospective_response, submit_incident, verify_certificate). The verbs are descriptive and the nouns correspond to the domain objects, making the naming predictable and clear.

Tool Count5/5

With 10 tools, the server covers a complex domain (causal liability attribution for AI incidents) without being overwhelming. Each tool serves a distinct role in the workflow, and the count feels well-scoped for the functionality offered.

Completeness4/5

The tool set covers the core lifecycle: extraction, submission (structured and trace-based), verification (standard and recompute), a prospective gate, jurisdiction query, remediation simulation, and infrastructure queries (anchor, registry). Minor gaps exist, such as no tool to list or search past incidents/certificates, but the essential operations are present.