Loading MCP server directory, please wait...
Verify MCP servers before deploy with protocol, schema, transport, auth, and evidence checks.
npx @getmcp/cli add io.github.kaattaallaa-sketch/proofrailRequires Node.js 18+. Community-contributed server. Review source before installing.
Config file: ~/Library/Application Support/Claude/claude_desktop_config.json
{
"mcpServers": {
"io.github.kaattaallaa-sketch/proofrail": {
"url": "https://drkdm4jd-8767.uks1.devtunnels.ms/mcp",
"transport": "streamable-http"
}
}
}