Probe V0
Server Details
Experimental MCP server for current empirical verification of explicit public HTTPS endpoint claims.
- Status
- Healthy
- Last Tested
- Transport
- Streamable HTTP
- URL
- Repository
- lexbritten/probe-mcp
- GitHub Stars
- 0
Tool Definition Quality
Average 4.8/5 across 2 of 2 tools scored.
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.
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.
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.
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.
Available Tools
2 toolsprobe.historyInspect Historical HTTP EvidenceARead-onlyIdempotentInspect
Retrieve up to 20 persisted observations for an existing Probe experiment ID without making a new HTTP request. Use after verify_http_claim to inspect repeated results, PASS/FAIL/ERROR counts, agreement, or whether the observed verdict changed between the two latest decisive observations. This is historical evidence lookup, not a current live verification; use verify_http_claim when freshness or present endpoint behavior matters.
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | ||
| probe_id | Yes |
Tool Definition Quality
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare read-only, idempotent, and non-destructive behavior. The description adds valuable behavior beyond that: it is historical evidence lookup, does not make a live HTTP request, only works for an existing probe ID, and surfaces derived insights like counts and verdict changes. It stops short of describing the exact response format, but the provided behavioral context is strong.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Three sentences with no fluff: core capability first, then specific use cases, then an explicit alternative. Every sentence adds distinct value and the key differentiator (no new HTTP request) is front-loaded.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a two-parameter read-only tool, the description covers what it returns conceptually, when it should be used, what it should be used after, and when it should not be used. Even without an output schema, an agent has enough context to invoke it correctly and interpret the results.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema description coverage is 0%, so the description carries the explanatory burden. It contextualizes probe_id as an existing Probe experiment ID obtained after verify_http_claim and links the 'up to 20' cap to the limit parameter's maximum/default. It does not restate the hex format or allowed limit range, but those are already in the schema, and the usage context adds real meaning.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description uses a specific verb ('Retrieve'), a precise resource ('persisted observations for an existing Probe experiment ID'), and an explicit scope cap ('up to 20'), and immediately distinguishes it from the sibling by noting it makes no new HTTP request. This lets an agent recognize the tool and separate it from verify_http_claim without reading schemas.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
It gives an explicit trigger ('Use after verify_http_claim'), lists the inspection use cases (repeated results, PASS/FAIL/ERROR counts, agreement, verdict changes), and states the exclusion condition: use verify_http_claim when freshness or present endpoint behavior matters. Both when-to-use and when-not-to-use are unambiguous.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
verify_http_claimVerify Live HTTP ClaimARead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| url | Yes | Public HTTPS URL. V0 forbids credentials, query strings, redirects, IP literals, and non-443 ports. | |
| method | No | GET | |
| assertions | Yes | ||
| follow_redirects | No | ||
| freshness_seconds | No |
Tool Definition Quality
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.
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.
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.
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.
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.
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.
Frequently Asked Questions
Claiming proves that you control a remote MCP connector. It does not move, proxy, or interrupt the server.
Open the connector listing, choose Claim ownership, and sign in to Glama.
Complete one verification method:
GitHub identity — fastest for official registry listings. For a namespace such as
io.github.alice/server, link the matching GitHub user or an account that owns the GitHub organization, then choose Claim with GitHub.HTTP challenge — works when you can deploy a public file. Generate a token, publish the exact JSON Glama shows at
/.well-known/glama.jsonon the same origin as the connector, then choose Check HTTP challenge.DNS challenge — works when you control DNS but cannot change the server. Generate a token, create the exact TXT record Glama shows, wait for it to propagate, then choose Check DNS challenge.
After verification, Glama sends a confirmation email and gives you access to listing details, thumbnails, health checks, and analytics. Keep the HTTP file or DNS record in place: Glama periodically checks it and ownership remains verified while the token is discoverable.
The HTTP ownership file has this structure:
{
"$schema": "https://glama.ai/mcp/schemas/connector.json",
"claim": "glama_claim_..."
}Claim tokens are opaque, stable, and bound to the signed-in Glama account. They contain no email address or other personal information. If Glama can no longer discover a verified HTTP or DNS token, it starts a seven-day grace period before removing claim-based access. Restore the same token during that period to keep ownership verified. Never publish an email address, Glama session token, GitHub token, or connector credential as ownership proof.
If verification fails, confirm that you copied the current token exactly. The HTTP file must be public, return valid JSON with a successful HTTP response, and stay on the connector's origin. DNS changes may need more time to propagate. A claim cannot transfer to a different origin or hostname: if the connector target changes, Glama starts the grace period and the new target must be claimed separately after the previous claim is released.
For a connector linked to the official MCP Registry, registry updates continue to replace its name, description, and URL by default. After claiming, open Manage connector and enable Use Glama listing details as the source of truth if edits made on Glama should be preserved. Categories and thumbnails are always managed on Glama; registry linkage and technical connection settings continue to sync.
Control your server's listing on Glama, including description and metadata
Access analytics and receive server usage reports
Get monitoring and health status updates for your server
Feature your server to boost visibility and reach more users
To improve your MCP server's ranking:
Claim ownership of the server listing
Complete the server profile with an accurate description and thumbnail
Provide a test profile so Glama can connect to and evaluate the server
Keep tool definitions clear and complete to earn a high Tool Definition Quality Score (TDQS)
Route real usage through the Glama Gateway; more recorded successful server uses also improve the ranking
For users:
Full audit trail – every tool call is logged with inputs and outputs for compliance and debugging
Granular tool control – enable or disable individual tools per connector to limit what your AI agents can do
Centralized credential management – store and rotate API keys and OAuth tokens in one place
Change alerts – get notified when a connector changes its schema, adds or removes tools, or updates tool definitions, so nothing breaks silently
For server owners:
Proven adoption – public usage metrics on your listing show real-world traction and build trust with prospective users
Tool-level analytics – see which tools are being used most, helping you prioritize development and documentation
Direct user feedback – users can report issues and suggest improvements through the listing, giving you a channel you would not have otherwise
The connector status is unhealthy when Glama is unable to successfully connect to the server. This can happen for several reasons:
The server is experiencing an outage
The URL of the server is wrong
Credentials required to access the server are missing or invalid
If you are the owner of this MCP connector and would like to make modifications to the listing, including providing test credentials for accessing the server, please contact support@glama.ai.
Discussions
No comments yet. Be the first to start the discussion!
Related MCP Connectors
Public MCP server for summaries, DNS lookup, catalog, replies, and JSON checks.
Trust, freshness, policy, and discovery layer for public MCP servers.
Public read-only MCP server for HODLXXI agent identity, trust, receipts, and verification.
Guarded MCP server for agent-readable business truth, provenance, readiness, and discovery.
Related MCP Servers
- AlicenseAqualityBmaintenanceMCP server that preflights endpoints before agent payments, returning a trust verdict with proceed/caution/avoid recommendation.1MIT
- AlicenseAqualityCmaintenanceMCP server for verifying high-impact decisions with Trust OS.2MIT
- AlicenseNot gradedqualityCmaintenanceMCP server for witnessd, enabling agents to create tamper-evident, signed, and Merkle-anchored certificates of any public URL or API response at a moment in time.324MIT

FactGridofficial
AlicenseNot gradedqualityCmaintenanceMCP server providing dependency upgrade advisories, developer API schemas, and electronic component specifications with evidence-backed, Ed25519-signed responses.MIT