MCP server Claude CodeCodexCursor +2
MCP server "mcp-geometry-prover" as configured in MikeyBeez/mcp-geometry-prover. Runs locally from the mcp-geometry-prover npm package.
not rated 0 2mo ago A
tokens not measured
0Stars on the repository
1Mods indexed here, across every type
2mo agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied