MCP server

ProofRail MCP Release Certifier

io.github.kaattaallaa-sketch/proofrail

Checked 26 Oct 2026, 08:29 UTC · Connection failed

MCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight.

Website

At a glance

Type

MCP server

Publisher

Not verified

Status

Failed last check

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok

Last checked

26 Oct 2026, 08:29 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

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

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

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

Gemini CLI

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

Cursor

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

VS Code

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

Antigravity

agy mcp add proofrail https://drkdm4jd-8767.uks1.devtunnels.ms/mcp

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"proofrail","server_url":"https://drkdm4jd-8767.uks1.devtunnels.ms/mcp","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"proofrail","server_url":"https://drkdm4jd-8767.uks1.devtunnels.ms/mcp"}

Browse

• GitHub tools
• GitHub and code hosting
• Design tools

Related MCP servers

• AgentBreakWatch
  Audit AI Agent SDKs and MCP servers for breaking changes, schema drift, and migration fixes.
• Cc0company
  cc0pedia CC0 database + cc0.company agent services as MCP tools, paid per call via x402 on Base.
• Api Schema Drift Detector
  Cloudflare Workers MCP server: api-schema-drift-detector
• ActionGuard Protocol Inspector Agent
  Diff and poisoning detection for MCP servers: catch schema drift and prompt poisoning.
• Nukez
  Agent-native storage with cryptographic verification on Solana. Keyless: clients sign and pay.
• Liveness
  Does an MCP server work for a stock client? By registry name or URL. Tool drift too. Free, no key.
• InsideOut (Riley)
  Designs, prices, and deploys AWS/GCP cloud infrastructure from plain-English requirements.
• Release Radar MCP by usefulapi
  Correlate GitHub releases with Sentry issues and PagerDuty incidents.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.kaattaallaa-sketch/proofrail.svg)](https://aptlynx.net/servers/io.github.kaattaallaa-sketch/proofrail)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents