# mcp-solver

> MCP Server

The MCP Solver repository provides a Model Context Protocol server that allows Large Language Models to interact with SAT, SMT, and constraint solving tools like MiniZinc, PySAT, and Z3.

## Overview

- **Category:** AI
- **Language:** Python
- **Stars:** 177
- **Forks:** 3
- **Owner:** szeider
- **GitHub:** https://github.com/szeider/mcp-solver
- **Created:** 2024-12-14T23:10:20+00:00
- **Updated:** 2025-03-28T20:17:43+00:00
- **Source:** https://model-context-protocol.com/servers/model-context-protocol-constraint-solver-server

## Setup

## Setup

MCP Solver requires Python 3.11+, the `uv` package manager, and solver-specific dependencies (MiniZinc, Z3, or PySAT).

For detailed installation instructions for Windows, macOS, and Linux, see [INSTALL.md](INSTALL.md).

Quick start:
```bash
git clone https://github.com/szeider/mcp-solver.git
cd mcp-solver
uv venv
source .venv/bin/activate
uv pip install -e ".[all]"  # Install all solvers
```

## Tools

## Available Tools

1. `clear_model` (Remove all items from the model)
2. `add_item` (Add new item at a specific index)
3. `delete_item` (Delete item at index)
4. `replace_item` (Replace item at index)
5. `get_model` (Get current model content with numbered items)
6. `solve_model` (Solve the model with timeout parameter)