MCP server Claude CodeCodexCursor +2
MCP server for First-Order Logic provers (Vampire, E). Runs locally from the folprover-mcp Python package.
not rated 1 9mo ago A
tokens not measured
original MIT
1Stars on the repository
1Mods indexed here, across every type
9mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown