#logic
All
MCP-Logic
angrysky56
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
Added last year
Neo Mcp Logic Analyze
giseldo
Python MCP server for controlled logic analysis from natural language, with an emphasis on auditable output and teaching-oriented explanations.
Added 3 months ago