rei-checker-mcp

fc0web/rei-checker-mcp

★ 0 stars Python AI/LLM Updated today

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

Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "rei-checker-mcp": {
      "command": "uvx",
      "args": [
        "rei-checker-mcp"
      ]
    }
  }
}

Or install with pip: pip install rei-checker-mcp