gwarren3210/godel-mcp

MCP server for Godel Terminal — exposes its data (REST + STOMP + Socket.IO) as tools for AI clients. Reverse-engineered from the live product.

2Stars on the repository

1Mods indexed here, across every type

2mo agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

MCP server Claude CodeCodexCursor +2

MCP server "godel-mcp" as configured in gwarren3210/godel-mcp. Runs locally from the godel-mcp npm package.

not rated 2 2mo ago A tokens not measured original MIT