Skip to main content
Glama

Probe V0

Verify Live HTTP Claim

verify_http_claim
Read-onlyIdempotent

Use this to verify a current public HTTPS claim by direct observation rather than web search, documentation, browser inference, or shell/curl. Use for explicit assertions that a GET/HEAD currently returns an expected HTTP status, exact header value, JSON value at a JSON Pointer, or body substring. It evaluates assertions, persists bounded evidence, reuses sufficiently fresh matching evidence, and summarizes recent observations. follow_redirects defaults to false; when true, Probe manually follows at most 3 validated HTTPS redirects. Every fetch uses redirect: manual. V0 supports only public HTTPS URLs without credentials, query strings, fragments, IP literals, or non-443 ports. Redirect validation is hostname/policy based; the Worker cannot guarantee protection against DNS rebinding between validation and platform DNS resolution.

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
urlYesPublic HTTPS URL. V0 forbids credentials, query strings, redirects, IP literals, and non-443 ports.
methodNoGET
assertionsYes
follow_redirectsNo
freshness_secondsNo

TDQS

A4.8/5.0
Behavior5/5

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

Annotations already declare readOnly, openWorld, idempotent, and non-destructive; the description adds materially new behavior beyond them: bounded evidence persistence and reuse with freshness, manual redirect following capped at 3 validated hops with redirect: manual on every fetch, and the DNS rebinding caveat. This is rich, non-redundant disclosure that is fully consistent with 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?

Roughly 115 words pack seven discrete facts — purpose, exclusions, assertion kinds, evidence behavior, redirect policy, URL constraints, security caveat — with no filler, and the purpose/exclusion sentence is front-loaded. Every sentence earns its place.

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 tool with 5 parameters and a complex nested assertions schema, the description covers purpose, constraints, redirect policy, and evidence semantics thoroughly. However, there is no output schema and the description never specifies the result shape (e.g., per-assertion pass/fail, evidence payload, failure format), so an agent cannot anticipate how to consume the return value. That gap keeps it from a 5.

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 only 20% (only url carries a description), so the description carries the burden and largely delivers: it maps the four assertion kinds to their semantics (status, header_equals, json_equals at a JSON Pointer, body_contains), explains follow_redirects behavior, and implies freshness_seconds via 'reuses sufficiently fresh matching evidence'. It does not address how method=HEAD interacts with body_contains assertions or the 300–86400 freshness bounds, either of which would materially help an agent avoid failed calls.

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 first sentence names a specific verb and resource ('verify a current public HTTPS claim') and the method ('by direct observation'), explicitly excluding web search, documentation, browser inference, and shell/curl. The four assertion kinds (HTTP status, header value, JSON value at a JSON Pointer, body substring) make the scope precise and distinguish it from the probe.history sibling, which covers past observations.

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?

States exactly when to use it — 'explicit assertions that a GET/HEAD currently returns' the listed expectations — and lists what it is not for (search, documentation, browser inference, shell/curl). The V0 URL restrictions (no credentials, query strings, fragments, IP literals, non-443 ports) also tell the agent when this tool cannot be used. The repeated emphasis on 'current' differentiates it from probe.history, though the sibling is not named explicitly.

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.6/5.0
Disambiguation5/5

The two tools split cleanly along a temporal axis: verify_http_claim performs live verification while probe.history retrieves stored observations for an existing experiment. There is no meaningful overlap in purpose.

Naming Consistency3/5

verify_http_claim follows a clear verb_object pattern, but probe.history uses a namespace-style noun with a dot separator. Both names are readable and lowercase, but the conventions are not parallel.

Tool Count4/5

Two tools is minimal, but the server's scope is explicitly narrow: current verification plus historical evidence lookup. Both tools are necessary for that workflow, making the count slightly under the typical range but still reasonable.

Completeness5/5

The tool surface covers the full verify-then-inspect loop: a current claim can be checked, results are persisted, and history can be retrieved and compared across observations. Given the deliberately limited V0 scope, no critical gap is apparent.