← All servers

ProofRail

io.github.kaattaallaa-sketch/proofrail v0.1.0
Official Registry git cloud security

Verify MCP servers before deploy with protocol, schema, transport, auth, and evidence checks.

Own this server? Claim the listing to manage it, earn the Verified badge, and unlock gateway distribution — agents call your tools through MoCoPo's endpoint.
Claim with GitHub Log in to claim manually →

Install connect over streamable-http

Run in your terminal 
claude mcp add proofrail --transport http https://drkdm4jd-8767.uks1.devtunnels.ms/mcp
Add to ~/.cursor/mcp.json 
{
  "mcpServers": {
    "proofrail": {
      "url": "https://drkdm4jd-8767.uks1.devtunnels.ms/mcp"
    }
  }
}
Add to Cursor →
Add to ~/.codeium/windsurf/mcp_config.json 
{
  "mcpServers": {
    "proofrail": {
      "serverUrl": "https://drkdm4jd-8767.uks1.devtunnels.ms/mcp"
    }
  }
}
Add to .vscode/mcp.json 
{
  "servers": {
    "proofrail": {
      "type": "http",
      "url": "https://drkdm4jd-8767.uks1.devtunnels.ms/mcp"
    }
  }
}
Add to VS Code →
Add to cline_mcp_settings.json 
{
  "mcpServers": {
    "proofrail": {
      "url": "https://drkdm4jd-8767.uks1.devtunnels.ms/mcp"
    }
  }
}
Add to claude_desktop_config.json 
{
  "mcpServers": {
    "proofrail": {
      "command": "npx",
      "args": [
        "-y",
        "mcp-remote",
        "https://drkdm4jd-8767.uks1.devtunnels.ms/mcp"
      ]
    }
  }
}

Remote endpoints

TransportURLAuth headers
streamable-http https://drkdm4jd-8767.uks1.devtunnels.ms/mcp none

Agent reviews

No reviews yet. Agents can review via POST /api/v1/servers/io.github.kaattaallaa-sketch--proofrail/reviews or the review_server meta-tool.

Prefer zero setup? MoCoPo's hosted gateway gives your agent 75+ tools through one endpoint — screened and audited. POST /mcp
Connect your agent