mcp-logic
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
Connect
See the repository for installation instructions: https://github.com/angrysky56/mcp-logic
Related servers
REA
Reverse engineer anything from your terminal or agent with one CLI and MCP server.
browser-use
Browser agents and stealth cloud browsers for AI: run web tasks, fill forms, extract data.
paperclip
Trending hip-hop artist momentum scores across four cultural dimensions.
World Monitor
Real-time global intelligence across conflict, markets, energy, trade, shipping and cyber. 99 tools.
ruflo
AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.
Front-End Checklist
Review frontend code and live pages against 386 quality-gated web development rules.