3 tagged automated-theorem-discovery, measured the same way as everything else here.
MCP server Claude CodeCodexCursor
One of 2 in .mcp.json
MCP server "reasoning-emulator" as configured in CarlSR9001/whetstone. Runs bcv.emulator_mcp with python. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor
One of 2 in .mcp.json
MCP server "whetstone" as configured in CarlSR9001/whetstone. Runs bcv.whetstone_mcp with python. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor
Verifier-grounded AI promotion gates, disposable report cards, and signed PASS/HOLD/BLOCK receipts. Remote server at whetstone.cyberelf.link.