Logic-Thinking

You can run and interact with the Logic-Thinking MCP Server to perform formal reasoning, solve mathematical problems, and construct proofs across multiple logic systems. It provides a modular, extensible environment that integrates external solvers, stores proofs, and offers convenient tools to analyze arguments, detect contradictions, and visualize logical structures.

How to use

To use the MCP server, start the local stdio instance and connect your MCP client to it. You will access core capabilities such as validating inputs, formalizing reasoning steps, solving problems, visualizing results (truth tables, parse trees, Kripke frames), and scoring arguments. You can switch between logic systems, translate proofs across systems, and batch process multiple requests. Your client will send structured requests to the server, and you will receive results that include proofs, solutions, and analysis.

Practical usage patterns you can perform include: validating a set of statements for consistency, formalizing a natural language query into a formal logic representation, solving a problem under one or more logic systems, and retrieving or inspecting proof components from the library. You can also run batch jobs to handle multiple inputs concurrently and use cross-system translation to compare reasoning across logics. If a hidden assumption exists, you can extract it to refine the argument. Visualization features help you understand complex relations and dependencies in your proofs.

How to install

Prerequisites: you need Node.js and npm installed to run the MCP server. You also may use Python environments if you plan to leverage the external solvers.

1. Clone the project repository and navigate into it.

2. Install dependencies.

3. Build the project.

4. Run the server and verify external solver setup.

5. If you plan to integrate with Claude Desktop, add the configuration that points to the local MCP server.

Exact commands shown in the setup are provided below for your convenience. Follow them in order.

# Install prerequisites (example for a Unix-like shell)
sudo apt-get update
sudo apt-get install -y build-essential

# Node.js and npm are required for the MCP server
# Install Node.js if not installed (adjust for your OS)
# You can use a package manager or install from nodejs.org

# Clone the MCP server repository
git clone https://github.com/quanticsoul4772/logic-thinking.git
cd logic-thinking

# Install dependencies
npm install

# Build the server
npm run build

# Run the server (stdio configuration shown below is used for local development)
npx --yes logic-thinking  # or use the runtime command shown in your config

Additional sections

Configuration, security considerations, examples, troubleshooting tips, and notes are covered below to help you operate confidently.

Available tools

logic-thinking

Core operations: validate inputs, formalize reasoning, visualize results, solve problems, and score arguments.

logic-batch

Batch processing to handle multiple concurrent requests.

logic-translate

Cross-system translation of proofs between different logic formalisms.

logic-contradiction

Detect contradictions within a given set of statements.

logic-proof-save

Save proofs to a persistent library for later retrieval.

logic-proof-search

Search the proof library for specific arguments or patterns.

logic-proof-get

Retrieve a proof by its identifier from the library.

logic-proof-list

List proofs stored in the library along with metadata.

logic-proof-stats

Provide library statistics and usage analytics.

logic-extract-assumptions

Extract hidden assumptions from inputs to reveal underlying premises.