MCP Server Logical Solver

@RyanNg1403

a year ago

A project that integrates mcp servers for Prover9/Mace4 for a logical reasoning agent

Build with ShipAny.