mcp-logic
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
angrysky56
Shell
Package Information
mcp_logic
0 downloads/month
Resources
GitHub Statistics
Stars
22Watchers
1Forks
5Releases
0Repository createdJanuary 13, 2025
Last updatedMay 15, 2025
Stats refreshedMay 18, 2025