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
16Updated 2 months ago

Alternatives and similar repositories for mcp-logic:

Users that are interested in mcp-logic are comparing it to the libraries listed below