mcp-logic
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
GitHub Stars
27
User Rating
Not Rated
Forks
5
Issues
1
Views
0
Favorites
0
No README
This project's README has not been fetched yet.
Author Information
0
Followers
0
Repositories
0
Gists
0
Total Contributions
Threads