angrysky56/mcp-logic
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
Platform-specific configuration:
{
"mcpServers": {
"mcp-logic": {
"command": "npx",
"args": [
"-y",
"mcp-logic"
]
}
}
}Add the config above to .claude/settings.json under the mcpServers key.
Loading reviews...