# Logic-Thinking MCP Server

Model Context Protocol server for formal logical reasoning, mathematical problem-solving, verification, and proof construction.

## Features

- 11 logic systems: Syllogistic, Propositional, Predicate, Mathematical, Modal, Temporal, Fuzzy, Deontic, SMT, Probabilistic, ASP
- External solver integration: Z3 for constraint solving, ProbLog for probabilistic reasoning, Clingo for answer set programming
- Proof library with persistent storage and full-text search
- Assumption extraction for detecting hidden assumptions
- Argument scoring with detailed analysis
- Batch processing for multiple concurrent requests
- Cross-system translation between logic systems
- Contradiction detection
- Automatic system detection from input
- Natural language processing with enhanced parsers
- Visualizations: truth tables, Venn diagrams, Kripke frames, parse trees

## Installation

```bash
git clone https://github.com/quanticsoul4772/logic-thinking.git
cd logic-thinking
npm install
npm run build
```

### External Solver Dependencies

Three external solvers are used for advanced reasoning capabilities:

1. Z3 SMT Solver - Install via pip:
```bash
pip install z3-solver
```

2. ProbLog - Install via pip:
```bash
pip install problog
```

3. Clingo - Install via pip:
```bash
pip install clingo
```

The server will attempt to use Python from pyenv if available, otherwise falling back to system Python. Ensure your Python environment has these packages installed.

### Claude Desktop Integration

Add to your Claude Desktop configuration file:

macOS: `~/Library/Application Support/Claude/claude_desktop_config.json`

```json
{
  "mcpServers": {
    "logic-thinking": {
      "command": "node",
      "args": [
        "--max-old-space-size=4096",
        "--expose-gc",
        "--max-semi-space-size=64",
        "/absolute/path/to/logic-thinking/dist/index.js"
      ]
    }
  }
}
```

## MCP Tools

The server provides 10 tools:

1. logic-thinking - Core operations (validate, formalize, visualize, solve, score)
2. logic-batch - Batch processing
3. logic-translate - Cross-system translation
4. logic-contradiction - Detect contradictions
5. logic-proof-save - Save proofs
6. logic-proof-search - Search proofs
7. logic-proof-get - Retrieve proof by ID
8. logic-proof-list - List proofs
9. logic-proof-stats - Library statistics
10. logic-extract-assumptions - Extract assumptions

## Logic Systems

### Syllogistic Logic
Traditional Aristotelian categorical logic.

### Propositional Logic
Truth-functional reasoning with logical connectives.

### Predicate Logic
First-order logic with quantified statements.

### Mathematical Logic
Equation solving, sequence detection, pattern recognition.

### Modal Logic
Necessity and possibility with Kripke semantics.
Systems: K, T, D, B, K4, KB, S4, S5, KD45

### Temporal Logic
Time-based reasoning about sequences and processes.

### Fuzzy Logic
Reasoning with degrees of truth and linguistic hedges.

### Deontic Logic
Normative reasoning about obligations and permissions.

### SMT Logic
Constraint satisfaction and optimization using Z3 theorem prover. Supports integer, real, boolean, and bitvector variables with optimization objectives.

### Probabilistic Logic
Probabilistic reasoning using ProbLog. Supports probabilistic facts, rules, evidence-based inference, and probability queries.

### ASP (Answer Set Programming)
Non-monotonic reasoning using Clingo. Supports choice rules, constraints, optimization, default reasoning, and stable model enumeration.

## License

MIT License - see LICENSE file for details

## Author

quanticsoul4772

GitHub: https://github.com/quanticsoul4772