$ loading_
Provides MCP tools to verify logical expressions and retrieve decision statistics, with verdicts VALID, INVALID, or UNDECIDED.
Copy the install command and let the AI configure it · recommended for beginners
No copy-paste install info for "rei-checker" yet — see the docs or source repo.