angrysky56/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
GitHub repository with 43 stars and 11 forks.
Language: Python
Topics: ai, claude-3-5-sonnet, llm, logic, mcp-server, server, tool