📌Overview

Purpose: MCP-Logic aims to provide automated reasoning capabilities using Prover9/Mace4 for AI systems, enabling logical theorem proving and model verification.

Overview: MCP-Logic is a server designed to connect AI systems with formal logic, offering an intuitive interface for automated reasoning. It supports complex logical proofs and enhances knowledge validation through rigorous formal verification.

Key Features:

• Automated Theorem Proving: Integrates seamlessly with Prover9 to provide automated logical proofs.

• Complex Logical Support: Handles complicated logical formulas and nested proofs, allowing for advanced reasoning tasks.

• Syntax Validation: Includes built-in validation to ensure logical statements are well-formed and accurate.

• User-Friendly Interface: Provides a clean MCP server interface for effective interaction and integration with AI applications.

• Robust Error Handling: Features extensive error logging and handling capabilities to assist in troubleshooting and ensure reliability.

---

mcp-logic/ ├── src/ │ └── mcp_logic/ │ └── server.py # Main MCP server implementation ├── tests/ │ ├── test_proofs.py # Core functionality tests │ └── test_debug.py # Debug utilities ├── Documents/ # Analysis and documentation ├── pyproject.toml # Python package config ├── setup-script.sh # Setup script (installs LADR & dependencies) ├── run-mcp-logic.sh # Docker-based run script (Linux/macOS) ├── run-mcp-logic.bat # Docker-based run script (Windows) ├── run-mcp-logic-local.sh # Local run script (no Docker) └── README.md # This file

Note: After running setup-script.sh, a "ladr" directory will be created containing the Prover9 binaries, but this directory is not included in the repository itself.

## Development

Run tests:

```bash
uv pip install pytest
uv run pytest