MCP Server Logical Solver

MCP Server Logical Solver

访问网站
A project that integrates mcp servers for Prover9/Mace4 for a logical reasoning agent