ProofRail MCP Release Certifier

Connect Remote server

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

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

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

Settings > Connectors > Add custom connector
URL: https://drkdm4jd-8767.uks1.devtunnels.ms/mcp

Tools

The tool list was not available in our last check.

Details

More cloud and devops servers See all

• OxyPages

  Deploy HTML pages and built web apps (React, Vue, Vite) to a live HTTPS link from your AI agent.

• Edgegap

  Deploy and operate multiplayer game servers on Edgegap's global edge network.

• EOL Watch

  Cloud retirements, end of support dates and IaC breaking changes for Azure, AWS, GCP and OCI.

• OldWeb Diagnostics

  Public DNS, HTTPS and deployment checks, plus offline email header and delivery-log tracing.

• OldWeb Logs

  Offline log parsing, CI failures, HTTP capture analysis and bounded JSON configuration validation.

• TrainRec

  Your AI assistant logs your meals and workouts, then plans your week from what you did.