mcp-server-logical-solver
A project that integrates mcp servers for Prover9/Mace4 for a logical reasoning agent
RyanNg1403
Python
Package Information
No package information available for mcp-server-logical-solver.
Resources
GitHub Statistics
Stars
1Watchers
1Forks
0Releases
0Repository createdApril 23, 2025
Last updatedApril 23, 2025
Stats refreshedMay 18, 2025