angrysky56 / mcp-logicLinks

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
31Updated 4 months ago

Alternatives and similar repositories for mcp-logic

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

Sorting: