Connect

8 clients · secrets stay placeholders

JSON (mcpServers)Claude CodeCodexOpenCodeCursorVS CodeGemini CLIGoose

{
  "mcpServers": {
    "proofrail": {
      "type": "http",
      "url": "https://drkdm4jd-8767.uks1.devtunnels.ms/mcp"
    }
  }
}

claude mcp add --transport http proofrail https://drkdm4jd-8767.uks1.devtunnels.ms/mcp

[mcp_servers.proofrail]
url = "https://drkdm4jd-8767.uks1.devtunnels.ms/mcp"

{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "proofrail": {
      "type": "remote",
      "url": "https://drkdm4jd-8767.uks1.devtunnels.ms/mcp",
      "enabled": true
    }
  }
}

{
  "mcpServers": {
    "proofrail": {
      "type": "http",
      "url": "https://drkdm4jd-8767.uks1.devtunnels.ms/mcp"
    }
  },
  "deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=proofrail&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vZHJrZG00amQtODc2Ny51a3MxLmRldnR1bm5lbHMubXMvbWNwIn0%3D"
}

{
  "servers": {
    "proofrail": {
      "type": "http",
      "url": "https://drkdm4jd-8767.uks1.devtunnels.ms/mcp"
    }
  }
}

{
  "mcpServers": {
    "proofrail": {
      "httpUrl": "https://drkdm4jd-8767.uks1.devtunnels.ms/mcp"
    }
  }
}

extensions:
  "proofrail":
    enabled: true
    name: "proofrail"
    type: streamable_http
    uri: "https://drkdm4jd-8767.uks1.devtunnels.ms/mcp"
    timeout: 300

Quality 72 / 100needs work

protocol75 · weight 25

warn
protocol.modernnewest supported version is 2025-11-25; 2026-07-28 not supported, older versions are deprecated until 2027-07-28
n/a
protocol.statelessonly applies to 2026-07-28 servers
pass
protocol.transportstreamable HTTP
n/a
protocol.list_ttlonly applies to 2026-07-28 servers

authorizationn/a · weight 15

n/a
auth.prm, auth.as_metadata, auth.cimdno remote uses OAuth
n/a
auth.secret_in_urlno templated URL

tool hygiene93 · weight 30

pass
tools.descriptionsevery tool has a description
pass
tools.description_lengthdescriptions are concise
pass
tools.schemasevery tool has an object input schema
pass
tools.annotations7 of 8 tools declare readOnlyHint or destructiveHint
warn
tools.directory_hints7 of 8 tools declare all four hints; missing: mcp_release_certify (readOnlyHint, destructiveHint, idempotentHint, openWorldHint)
pass
tools.token_costabout 1,662 tokens to load every tool
pass
tools.api_dumptools are not a one-to-one API dump

stability25 · weight 15

warn
stability.changes13 tool changes in 30 days
fail
stability.rug_pull5 tools kept their name but changed most of their description in 30 days; review before trusting them

dependenciesn/a · weight 15

n/a
deps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI package

8 tools, about 1,662 tokens to load them all · tool set a321314cb57b · tools last changed 2026-09-30 · checked 2026-10-20 12:13 UTC

Tool changes

2026-09-30mcp_release_certifychangeddescription, input schemameaning changed
before
Full certification for an MCP server before deploy, upgrade, or trust. Payment-gated; returns deterministic PASS, FAIL, or PARTIAL evidence. If you have a target_url, call mcp_release_preflight first for a free no-payment compatibility check; use quote_certification only for price and network details.
after · 40% of words in common
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.
2026-09-30quote_certificationchangeddescription, input schema, annotationsmeaning changed
before
Free: get certification price, network, payment mode, and checks before payment
after · 26% of words in common
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.
2026-09-30mcp_release_preflightchangeddescription
before
FREE, no payment: test an MCP endpoint now for reachability, protocol negotiation, tool count, and schema issue count before buying a full evidence receipt.
after · 75% of words in common
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.
2026-09-30find_mcp_serverschangeddescription, input schema
before
FREE, read-only: find currently reachable public MCP servers for a task or capability from ProofRail's autonomous catalog. Searches names, URLs, repositories, and observed tool names; returns PASS/ok candidates with optional x402 certification offers. Cached results only.
after · 73% of words in common
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.
2026-09-30proofrail_infochangeddescription, annotationsmeaning changed
before
ProofRail capabilities and payment mode
after · 36% of words in common
FREE, read-only: ProofRail MCP verification, MCP server verification, compatibility preflight, certification capabilities, and payment mode
2026-09-30healthchangedannotations
2026-09-30mcp_radar_changesadded
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.
2026-09-30find_mcp_serversadded
FREE, read-only: find currently reachable public MCP servers for a task or capability from ProofRail's autonomous catalog. Searches names, URLs, repositories, and observed tool names; returns PASS/ok candidates with optional x402 certification offers. Cached results only.
2026-09-30mcp_radar_snapshotadded
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.
2026-09-30mcp_release_certifychangeddescription
before
Certify an MCP server before deploy, upgrade, or trust. Payment-gated; returns deterministic PASS, FAIL, or PARTIAL evidence. Call quote_certification first for free price and network details.
after · 63% of words in common
Full certification for an MCP server before deploy, upgrade, or trust. Payment-gated; returns deterministic PASS, FAIL, or PARTIAL evidence. If you have a target_url, call mcp_release_preflight first for a free no-payment compatibility check; use quote_certification only for price and network details.

Showing the latest 10. Full history: list_changes · trend: quality JSON.

Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.

Trust 50 / 100

no-repositoryunreachable

provenance45

liveness0

freshness100

hygiene80

+website -unreachable(9 failures) +updated-20d-ago -no-repository

Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.

Endpoints

remote	auth	reachable	uptime 30d	p50	protocol	last ok
`https://drkdm4jd-8767.uks1.devtunnels.ms/mcp` streamable-http	none	no (9 failures)	38%	1472 ms	2025-11-25	2026-09-30

Tools (8)

`find_mcp_servers`read-only	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.
`health`read-only	ProofRail process health
`mcp_radar_changes`read-only	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.
`mcp_radar_snapshot`read-only	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.
`mcp_release_certify`	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.
`mcp_release_preflight`read-only	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.
`proofrail_info`read-only	FREE, read-only: ProofRail MCP verification, MCP server verification, compatibility preflight, certification capabilities, and payment mode
`quote_certification`read-only	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.

Schemas: list_tools.

Similar MCP servers

More from io.github.kaattaallaa-sketch

Official server.json

{
  "name": "io.github.kaattaallaa-sketch/proofrail",
  "title": "ProofRail MCP Release Certifier",
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "remotes": [
    {
      "url": "https://drkdm4jd-8767.uks1.devtunnels.ms/mcp",
      "type": "streamable-http"
    }
  ],
  "version": "0.4.1",
  "websiteUrl": "https://kaattaallaa-sketch.github.io/proofrail-mcp/",
  "description": "MCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight."
}