Loading
ProofRail MCP Release Certifier
io.github.kaattaallaa-sketchClaim this server
Power your agent
Add this server
The publisher's own URL. Not a PlugMCP endpoint.
Host a copy with our keys and logs.
Server URL
https://drkdm4jd-8767.uks1.devtunnels.ms/mcpThe Claude button above opens Claude with the name and URL filled in. You still confirm it there.
shClaude Code
claude mcp add --transport http io.github.kaattaallaa-sketch-proofrail https://drkdm4jd-8767.uks1.devtunnels.ms/mcpRun in a terminal.
jsonClaude Desktop
{ "mcpServers": { "io.github.kaattaallaa-sketch-proofrail": { "command": "npx", "args": [ "-y", "mcp-remote", "https://drkdm4jd-8767.uks1.devtunnels.ms/mcp" ] } }}claude_desktop_config.json
Remote · HTTPPublisher installStep-by-step: add this in Claude
Remote URL or a command on your machine? How the two installs differ
Run on PlugMCP
Host a copy with our keys and logs.
A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.
LaunchServer facts
Remote- Transport
- http
- Version
- 0.4.1
- Last checked
Tools
Tools
No tool list yet. Remote servers get one after the first health check.
FAQ