mcp-logic
Verified Safeby angrysky56
Overview
An MCP server for automated first-order logic reasoning, including theorem proving, model finding, counterexample finding, and categorical reasoning.
Installation
uv --directory /absolute/path/to/mcp-logic/src/mcp_logic run mcp_logic --prover-path /absolute/path/to/mcp-logic/ladr/binSecurity Notes
The server uses `subprocess.run` to execute external binaries (Prover9/Mace4). While the input to these binaries is crafted from user input, it's passed as a list of arguments and not via `shell=True`, which mitigates common command injection risks. Temporary files are used for input, which are then cleaned up. The setup script downloads and builds the LADR library (Prover9/Mace4) from a third-party GitHub repository, which assumes the integrity of that external project. No hardcoded secrets or direct network calls from the core logic are evident.
Similar Servers
mcp-sequentialthinking-tools
Guides LLM-driven sequential problem-solving by breaking down complex problems into manageable steps and providing confidence-scored recommendations for MCP tool usage at each stage.
emacs-mcp-server
Connects Large Language Models (LLMs) to an Emacs environment, allowing LLMs to interact with and control Emacs functionality via the Model Context Protocol (MCP).
ast-mcp-server
Provides an MCP (Model Context Protocol) server for code structure and semantic analysis using ASTs and ASGs, integrated with external AI clients like Claude Desktop.
antlr4-mcp-server
MCP server enabling AI assistants to help with ANTLR4 grammar development by providing grammar analysis, parsing, and code generation capabilities.