ProofRail MCP Release Certifier
REMOTE · DRKDM4JD-8767.UKS1.DEVTUNNELS.MS
MCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight.
Available components
Last scanned (10 days ago)
Scores higher than 0% of remote servers
Unreachable for 7 days in a row. Last reached 1 Oct 2026.
Category Testing and QA
Dead
Every channel of this server has been unreachable for long enough to be marked dead. Its trust score is pinned to 0 and does not recover automatically: even once the server responds again it stays dead until it is manually reinstated.
How this component scores in each security and reliability category. Every signal is checked automatically against the live server, and we only credit what we can confirm. How we score → Why this is hard to score →
Endpoint Security57
- The endpoint's TLS certificate is valid, in date, and uses a strong key. View diagnostics → Pass
- Authorisation not yet verified: we couldn't confirm whether this endpoint requires it. View diagnostics → Unverified
- HTTPS is enforced; there's no plaintext access path. View diagnostics → Pass
- HSTS not yet verified: we couldn't read the response headers to check for it. View diagnostics → Unverified
- DNSSEC check failed: this domain isn't protected by DNSSEC. See how to fix → View diagnostics → Fail
Transport & Reachability0
- Transport check failed: declared streamable-http, but we couldn't connect to verify it. See how to fix → View diagnostics → Fail
Schema Quality & AI Usability0
- Schema not yet verified: we couldn't read the endpoint's schema, or could read only part of its tool list.Unverified
Stability & Change Management0
- Stability not yet verified: not enough scan history yet (needs a 30-day window).Unverified
Tool Coverage0
- Tool coverage not yet verified: we couldn't read the endpoint's tools, or could read only part of the list.Unverified
Tool Safety0
- Tool safety not yet verified: we couldn't read the endpoint's tools, or could read only part of the list.Unverified
Capabilities0
- Capabilities not yet verified: we couldn't read the endpoint's capabilities.Unverified
Unverified: 5 categories
Categories scored 0 because we could not verify them: authentication we do not have, an unreachable endpoint, or not enough scan history. We only credit what we can confirm.
Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.
- 13 Oct 26 −5
The score moved with no change recorded against any check. We would rather say so than guess.
- 12 Oct 26 −5
The score moved with no change recorded against any check. We would rather say so than guess.
- 10 Oct 26 −5
The score moved with no change recorded against any check. We would rather say so than guess.
- 7 Oct 26 −5
The score moved with no change recorded against any check. We would rather say so than guess.
- 4 Oct 26 −5
The score moved with no change recorded against any check. We would rather say so than guess.
- 2 Oct 26 0
- Endpoint reachability: not serving MCP → unreachable ▼ security
- HSTS header: pass → unverified ▼ security
- Transport: Transport check failed: declared streamable-http, but we couldn't connect to verify it. security
- 1 Oct 26 −35
- Endpoint reachability: reachable → not serving MCP ▼ security
- Tool safety: pass → unverified ▼ security
- Stability: 0.03 → unverified ▼ security
- Transport: pass → fail ▼ security
- Authorization: Authorisation not yet verified: we couldn't confirm whether this endpoint requires it. security
- Capabilities: pass → unverified ▼ functional
- Tool coverage: 100 → unverified ▼ functional
- First check of Schema quality: unverified functional
- 30 Sept 26 0
- Endpoint reachability: reachable → unreachable ▼ security
- Tool safety: pass → unverified ▼ security
- HSTS header: pass → unverified ▼ security
- Transport: pass → fail ▼ security
- Authorization: Authorisation not yet verified: we couldn't confirm whether this endpoint requires it. security
- The server rewrote its instructions, which are the text every model session reads security
- Tool “mcp_release_preflight” rewrote its description, which is the text the model reads security
- Tool “proofrail_info” rewrote its description, which is the text the model reads security
- Tool “mcp_release_certify” rewrote its description, which is the text the model reads security
- Tool “quote_certification” rewrote its description, which is the text the model reads security
- Schema quality: 44 → 84 ▼ functional
- Capabilities: pass → unverified ▼ functional
- Tool coverage: 100 → unverified ▼ functional
- Schema quality: pass → fail ▼ functional
- Endpoint reachability: unreachable → reachable ▲ functional
- Tool coverage: 0% → 29% ▲ functional
- Tool coverage: 0% → 24% ▲ functional
- Tool coverage: 0% → 88% ▲ functional
- Stability: unverified → 0.03 ▲ functional
- First check of Schema quality: unverified functional
- Schema quality: fair → good functional
- Server version: 0.3.0 → 0.4.1 functional
- Server version: 0.2.4-gate1 → 0.3.0 functional
- Server version: 0.2.3-gate1 → 0.2.4-gate1 functional
- New tool “find_mcp_servers” functional
- New tool “mcp_radar_changes” functional
- New tool “mcp_radar_snapshot” functional
- New tool “mcp_release_preflight” functional
- “mcp_release_certify” added an optional parameter “baseline_schema_hashes” cosmetic
- “mcp_release_certify” added an optional parameter “required_tools” cosmetic
- “quote_certification” added an optional parameter “declared_protocol_version” cosmetic
- “quote_certification” added an optional parameter “target_url” cosmetic
- “mcp_release_certify” reworded the description of “check_profile” cosmetic
- “mcp_release_certify” reworded the description of “declared_protocol_version” cosmetic
- “mcp_release_certify” reworded the description of “fixture_id” cosmetic
- “mcp_release_certify” reworded the description of “target_url” cosmetic
Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.
Captured 13 Oct 2026 · Probed https://drkdm4jd-8767.uks1.devtunnels.ms/mcp
TLS valid
Negotiated TLS 1.3 with TLS_AES_256_GCM_SHA384 .
| Subject | Issuer | Valid from | Valid until | Key | Signature | Serial |
|---|---|---|---|---|---|---|
| CN=devtunnels.ms,O=Microsoft Corporation,L=Redmond,ST=WA,C=US | CN=Microsoft TLS G2 RSA CA OCSP 10,O=Microsoft Corporation,C=US | 27 Aug 2026 | 5 Dec 2026 | RSA 2048 | SHA384-RSA | 4900bae38b905e01b1e1526811000000bae38b |
| SANs: devtunnels.ms, *.devtunnels.ms, *.uks1.devtunnels.ms | ||||||
| CN=DigiCert Global Root G2,OU=www.digicert.com,O=DigiCert Inc,C=US (CA) | CN=DigiCert Global Root G2,OU=www.digicert.com,O=DigiCert Inc,C=US | 1 Aug 2013 | 15 Jan 2038 | RSA 2048 | SHA256-RSA | 33af1e6a711a9a0bb2864b11d09fae5 |
| CN=Microsoft TLS RSA Root G2,O=Microsoft Corporation,C=US (CA) | CN=DigiCert Global Root G2,OU=www.digicert.com,O=DigiCert Inc,C=US | 21 May 2025 | 19 Jun 2029 | RSA 4096 | SHA384-RSA | b0c6b2c466917b04773c647d4afc0c8 |
| CN=Microsoft TLS G2 RSA CA OCSP 10,O=Microsoft Corporation,C=US (CA) | CN=Microsoft TLS RSA Root G2,O=Microsoft Corporation,C=US | 1 Aug 2025 | 3 Jun 2029 | RSA 4096 | SHA384-RSA | 330000000f33206537ee42ae4f00000000000f |
Background: What to check on a remote MCP endpoint →
DNSSEC insecure
Validation of drkdm4jd-8767.uks1.devtunnels.ms. — Not signed
| Zone | DS | Keys | Algorithms | Outcome |
|---|---|---|---|---|
| . | trust_anchor | 20326, 38696 | 8, 8 | Verified |
| ms. | present | 50317 | 8 | Verified |
| devtunnels.ms. | absent | Unsigned (proven) parent-signed NSEC/NSEC3 proves an unsigned delegation |
Authentication Inconclusive
We could not reach the endpoint well enough to judge its authorisation posture.
| Result | Inconclusive |
|---|
Background: How OAuth 2.1 works in the 2026 MCP spec →
Transports 2 probes
| Transport | URL | Outcome | Status | Location |
|---|---|---|---|---|
| streamable-http | https://drkdm4jd-8767.uks1.devtunnels.ms/mcp | Unreachable | ||
| http (plaintext) | http://drkdm4jd-8767.uks1.devtunnels.ms/mcp | HTTPS enforced | 308 | https://drkdm4jd-8767.uks1.devtunnels.ms/mcp |
The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →
find_mcp_servers Find MCP Servers ~129
FREE, read-only: find currently reachable public MCP servers from ProofRail's autonomous catalog. Call with no arguments for the most stable current PASS/ok candidates, or provide query for task/capability search across names, URLs, repositories, and observed tool names. Returns optional x402 certification offers. Cached results only.
| Name | Type | Req | Description |
|---|---|---|---|
| limit | integer | – | – |
| min_observations | integer | – | – |
| min_pass_rate | number | – | – |
| min_tools | integer | – | – |
| query | string | – | – |
| sort | string | – | – |
| source | string | – | – |
No output schema declared.
No examples provided.
health ~12
ProofRail process health
Input schema present but exposes no named parameters.
No output schema declared.
No examples provided.
mcp_radar_changes MCP Radar Changes ~56
FREE, read-only: inspect changes observed between ProofRail's two latest autonomous MCP Radar scans. Cached results only; this does not trigger a live scan.
| Name | Type | Req | Description |
|---|---|---|---|
| limit | integer | – | – |
| type | string | – | – |
No output schema declared.
No examples provided.
mcp_radar_snapshot MCP Radar Snapshot ~125
FREE, read-only: inspect ProofRail's latest autonomous scan of public MCP endpoints discovered from public registries. This returns cached point-in-time results and does not trigger a live scan.
| Name | Type | Req | Description |
|---|---|---|---|
| connection | string | – | – |
| limit | integer | – | – |
| min_observations | integer | – | – |
| min_pass_rate | number | – | – |
| min_tools | integer | – | – |
| outcome | string | – | – |
| query | string | – | – |
| sort | string | – | – |
| source | string | – | – |
| tool_contains | string | – | – |
No output schema declared.
No examples provided.
mcp_release_certify ~259
Paid MCP server verification and certification with deployment contract checks: require named tools with required_tools, compare baseline_schema_hashes from a previous certification, and receive ALLOW/BLOCK/REVIEW evidence. Certification before deploy, upgrade, or trust. Returns deterministic PASS, FAIL, or PARTIAL evidence. Call with target_url; when payment is absent the x402 layer returns payment requirements/challenge, then the client pays and retries the same call. Use mcp_release_preflight first for a free no-payment compatibility check, or quote_certification(target_url) for an exact buy_now action.
| Name | Type | Req | Description |
|---|---|---|---|
| baseline_schema_hashes | object | – | Paid drift check: prior contract_baseline; removed tools fail, changed input-schema hashes require review. |
| check_profile | string | – | Verification profile; basic covers connection, protocol negotiation, tools/list, and schemas |
| declared_protocol_version | string | – | MCP protocol version the target release claims to support |
| fixture_id | string | – | Optional server-configured safe fixture id; callers cannot provide arbitrary tool arguments |
| required_tools | array | – | Paid integration gate: fail if any named tool is missing. |
| target_url | string | yes | Public MCP Streamable HTTP endpoint to certify before deployment or integration |
No output schema declared.
No examples provided.
mcp_release_preflight Free MCP Endpoint Preflight ~108
FREE, no payment: run an MCP server verification and compatibility preflight now for reachability, protocol negotiation, tool count, and schema issue count before buying a full evidence receipt.
| Name | Type | Req | Description |
|---|---|---|---|
| check_profile | string | – | Verification profile; basic covers connection, protocol negotiation, tools/list, and schemas |
| declared_protocol_version | string | – | MCP protocol version the target release claims to support |
| target_url | string | yes | Public MCP Streamable HTTP endpoint to certify before deployment or integration |
No output schema declared.
No examples provided.
proofrail_info ~34
FREE, read-only: ProofRail MCP verification, MCP server verification, compatibility preflight, certification capabilities, and payment mode
Input schema present but exposes no named parameters.
No output schema declared.
No examples provided.
quote_certification ~70
FREE, read-only, no arguments required for a general MCP verification/certification quote: get price and network before payment. Pass target_url to receive the exact buy_now action.
| Name | Type | Req | Description |
|---|---|---|---|
| check_profile | string | – | – |
| declared_protocol_version | string | – | – |
| target_url | string | – | – |
No output schema declared.
No examples provided.
How do I install the ProofRail MCP Release Certifier server?
ProofRail MCP Release Certifier is a hosted endpoint at https://drkdm4jd-8767.uks1.devtunnels.ms/mcp, so there is nothing to install locally. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.
remote · drkdm4jd-8767.uks1.devtunnels.ms
claude mcp add --transport http kaattaallaa-sketch-proofrail 'https://drkdm4jd-8767.uks1.devtunnels.ms/mcp'
What is the ProofRail MCP Release Certifier server?
ProofRail MCP Release Certifier is listed in the public MCP registry as io.github.kaattaallaa-sketch/proofrail. MCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight. This page covers its hosted endpoint (https://drkdm4jd-8767.uks1.devtunnels.ms/mcp).
Is the ProofRail MCP Release Certifier server safe to use?
ProofRail MCP Release Certifier scores 0 out of 100 on VerifyMCP. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.
What tools does the ProofRail MCP Release Certifier server expose?
ProofRail MCP Release Certifier exposes 8 tools: health, proofrail_info, mcp_radar_snapshot, find_mcp_servers, mcp_radar_changes, and 3 more. Their descriptions and schemas cost roughly 793 tokens of context every time the server is loaded.
Does the ProofRail MCP Release Certifier server require authentication?
Its publisher declares no required credentials for ProofRail MCP Release Certifier. We have not been able to confirm that against the live endpoint, and a server can require authorisation without declaring it here.
Is the ProofRail MCP Release Certifier server still maintained?
ProofRail MCP Release Certifier has been unreachable for long enough that we treat it as dead, and its score is pinned to zero. We last reached this channel on 1 October 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.