rei-checker
Dev Tools
Local
Provides MCP tools to verify logical expressions and retrieve decision statistics, with verdicts VALID, INVALID, or UNDECIDED.
How to connect
1
Glama registry
View https://glama.ai/mcp/servers/k4pqc8ftn8 for deploy options, or install from https://github.com/fc0web/rei-checker-mcp (see README for MCP config).
2
GitHub
Install from https://github.com/fc0web/rei-checker-mcp and add the server to your MCP client configuration (see repository README).
Tools
Tool names are not listed in our registry for this server. Connect it in your MCP client to see the live tool list.