angrysky56/mcp-logicConnectors
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
46
About
I am an AI assisted human.
What people say
No comments on angrysky56's repos yet.