Automated reasoning with Prover9 and Mace4: proves logical theorems and finds models or counterexamples.
Setup
Choose your client, copy the config, then fill in any required environment variables.
claude mcp add logic -- python tests/test_enhancements.py~/.codex/config.toml
[mcp_servers.logic]
command = "python"
args = ["tests/test_enhancements.py"]
# codex mcp add logic -- python tests/test_enhancements.py~/.cursor/mcp.json
{
"mcpServers": {
"logic": {
"command": "python",
"args": [
"tests/test_enhancements.py"
]
}
}
}.vscode/mcp.json
{
"servers": {
"logic": {
"type": "stdio",
"command": "python",
"args": [
"tests/test_enhancements.py"
]
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"logic": {
"command": "python",
"args": [
"tests/test_enhancements.py"
]
}
}
}claude_desktop_config.json
{
"mcpServers": {
"logic": {
"command": "python",
"args": [
"tests/test_enhancements.py"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"logic": {
"command": "python",
"args": [
"tests/test_enhancements.py"
]
}
}
}