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 problem-solving by breaking down complex problems into manageable steps and recommending appropriate MCP tools at each stage.
emacs-mcp-server
Exposes Emacs functionality as standardized tools to Large Language Models (LLMs) via the Model Context Protocol (MCP) over Unix domain sockets.
ast-mcp-server
Provides a Model Context Protocol (MCP) server for deep code analysis, offering Abstract Syntax Tree (AST) and Abstract Semantic Graph (ASG) generation, code structure analysis, and transformation capabilities, primarily for integration with AI agents like Claude Desktop.
text2sim-MCP-server
The Text2Sim MCP Server enables Large Language Models (LLMs) to create, validate, and execute complex Discrete-Event Simulation (DES) and System Dynamics (SD) models through a natural language interface, providing comprehensive analytics and iterative model development capabilities.