An AI Logic Calculator that integrates Prover9/Mace4 theorem proving engines with Claude via Model Context Protocol. Enables formal logical reasoning, proof verification, and model checking directly within Claude.
mcp-logic is a Model Context Protocol (MCP) server that bridges Claude AI with Prover9 and Mace4, powerful automated reasoning engines. It enables users to perform formal logic calculations, verify logical proofs, check satisfiability of logical formulas, and generate models. The tool transforms Claude into a capable logical reasoning assistant capable of handling complex logical statements and mathematical proofs.
Installation requires Python and the Prover9/Mace4 binaries. Clone the repository from GitHub, install Python dependencies via pip, configure the MCP server connection in your Claude or MCP-compatible client, and ensure Prover9/Mace4 are in your system PATH. Works on Windows, Linux, and integrates with Claude App and other MCP-compatible platforms.
Thesis Structure Helper assists students and researchers in organizing their academic theses by providing…
by FormAI
Dependency Auditor helps developers audit project dependencies for security vulnerabilities, licensing is…
by EnergyAI
FAQ Generator Pro auto-generates FAQ pages from support tickets, documentation, and product information.…
by EmailForge