fc0web/rei-checker-mcp

Formal-verification checker MCP server — three-valued verdict (VALID/INVALID/UNDECIDED), no LLM in judgment path, append-only refutation ledger

0Stars on the repository

2Mods indexed here, across every type

25d agoLast push, which is what freshness is scored on

customA LICENSE file GitHub cannot name, so bodies are not copied

MCP server Claude CodeCodexCursor +2

MCP server "rei-checker-mcp" as configured in fc0web/rei-checker-mcp. Runs locally from the rei-checker-mcp Python package.

not rated 0 25d ago A tokens not measured