Formal-verification checker MCP server — three-valued verdict (VALID/INVALID/UNDECIDED), no LLM in judgment path, append-only refutation ledger
Latest release v0.5.0a1 — v0.5.0a1: citation stream adapter (β-1) · 10 Sept 2026
1 file for Claude Code: rei-checker-mcp CLAUDE.md — 4,304 tokens loaded in every session.
CLAUDE.md A 4,304 tok These files are fc0web/rei-checker-mcp's own configuration — they tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.