1 server tagged with "logical-solver"
A project that integrates mcp servers for Prover9/Mace4 for a logical reasoning agent