1 results found
A project that integrates mcp servers for Prover9/Mace4 for a logical reasoning agent
Build with ShipAny.
