MCP Server Logical Solver
Category: research-and-data
Author: RyanNg1403
Language: Python
Tags: mcp-server,logical-solver,theorem-proving
Description: A project that integrates mcp servers for Prover9/Mace4 for a logical reasoning agent
Tools:
Server configuration: