SkyShannonProver/shannon-prover
MCP server Claude CodeCodexCursor +2
MCP server "shannon-prover" as configured in SkyShannonProver/shannon-prover. Runs locally from the shannon-prover Python package.
not rated 23
+1 14d ago A
tokens not measured