MCP Solver
M

MCP Solver

MCP Solver is a server that exposes SAT, SMT, and constraint - solving capabilities to large language models through the Model Context Protocol (MCP).
2.5 points
8.9K

What is MCP Solver?

MCP Solver is a tool that integrates large language models and constraint solvers through the Model Context Protocol (MCP). It allows users to create, edit, and solve constraint models based on MiniZinc, PySAT, and Z3.

How to use MCP Solver?

Users can interact with MCP Solver through the command line or graphical interface. First, install the required dependencies, then select the appropriate mode (MiniZinc, PySAT, or Z3), and finally input the model and run the solver.

Applicable Scenarios

MCP Solver is suitable for application scenarios that require solving combinatorial optimization, logical reasoning, and complex constraint problems, such as scheduling, resource allocation, and path planning.

Main Features

MiniZinc Mode
Supports rich constraint expressions and global constraints, suitable for complex combinatorial optimization problems.
PySAT Mode
Used for solving Boolean logic and propositional logic, supporting multiple SAT solvers.
Z3 Mode
A powerful SMT solver that supports quantification and complex theoretical constraints.
Interactive Model Building
Allows users to gradually build and debug models and view the solving status in real - time.
Advantages
Supports multiple solving modes to adapt to different problem types.
Integrates LLM capabilities to improve problem - modeling efficiency.
Open - source and easy to extend, suitable for research and development.
Limitations
Requires a certain programming foundation to define models.
Large - scale problems may require high - performance computing resources.
The current version is still in the prototype stage, and its stability needs to be verified.

How to Use

Install Dependencies
Ensure that Python 3.11 or a higher version is installed, and use the uv tool to manage the project.
Start the Server
Select the mode (MiniZinc, PySAT, or Z3) according to your needs. For example, use the command'mcp - solver - mzn' for MiniZinc mode.
Add a Model
Gradually build the model through the command line, supporting adding, deleting, and replacing constraints.
Run the Solver
Execute the solving operation and view the results.

Usage Examples

Actor Allocation Problem
Solve a difficult problem for a theater director in actor allocation.
N - Queens Problem
Verify whether N queens can be placed on a chessboard of different sizes.

Frequently Asked Questions

Which solving modes does MCP Solver support?
How to install the dependencies required by MCP Solver?
In which scenarios is MCP Solver applicable?

Related Resources

GitHub Repository
The official GitHub repository of MCP Solver.
MCP Official Website
Learn more about the Model Context Protocol.
User Feedback Form
Provide your usage feedback.

Installation

Copy the following command to your Client for configuration
Note: Your key is sensitive information, do not share it with anyone.

Alternatives

V
Vestige
Vestige is an AI memory engine based on cognitive science. By implementing 29 neuroscience modules such as prediction error gating, FSRS - 6 spaced repetition, and memory dreaming, it provides long - term memory capabilities for AI. It includes a 3D visualization dashboard and 21 MCP tools, runs completely locally, and does not require the cloud.
Rust
10.6K
4.5 points
M
Moltbrain
MoltBrain is a long-term memory layer plugin designed for OpenClaw, MoltBook, and Claude Code, capable of automatically learning and recalling project context, providing intelligent search, observation recording, analysis statistics, and persistent storage functions.
TypeScript
9.2K
4.5 points
B
Bm.md
A feature-rich Markdown typesetting tool that supports multiple style themes and platform adaptation, providing real-time editing preview, image export, and API integration capabilities
TypeScript
14.9K
5 points
S
Security Detections MCP
Security Detections MCP is a server based on the Model Context Protocol that allows LLMs to query a unified security detection rule database covering Sigma, Splunk ESCU, Elastic, and KQL formats. The latest version 3.0 is upgraded to an autonomous detection engineering platform that can automatically extract TTPs from threat intelligence, analyze coverage gaps, generate SIEM-native format detection rules, run tests, and verify. The project includes over 71 tools, 11 pre-built workflow prompts, and a knowledge graph system, supporting multiple SIEM platforms.
TypeScript
7.8K
4 points
P
Paperbanana
Python
9.1K
5 points
B
Better Icons
An MCP server and CLI tool that provides search and retrieval of over 200,000 icons, supports more than 150 icon libraries, and helps AI assistants and developers quickly obtain and use icons.
TypeScript
9.7K
4.5 points
A
Assistant Ui
assistant - ui is an open - source TypeScript/React library for quickly building production - grade AI chat interfaces, providing composable UI components, streaming responses, accessibility, etc., and supporting multiple AI backends and models.
TypeScript
10.0K
5 points
A
Apify MCP Server
The Apify MCP Server is a tool based on the Model Context Protocol (MCP) that allows AI assistants to extract data from websites such as social media, search engines, and e-commerce through thousands of ready-to-use crawlers, scrapers, and automation tools (Apify Actors). It supports OAuth and Skyfire proxy payment and can be integrated into MCP clients such as Claude and VS Code through HTTPS endpoints or local stdio.
TypeScript
9.0K
5 points
M
Markdownify MCP
Markdownify is a multi-functional file conversion service that supports converting multiple formats such as PDFs, images, audio, and web page content into Markdown format.
TypeScript
38.2K
5 points
G
Gitlab MCP Server
Certified
The GitLab MCP server is a project based on the Model Context Protocol that provides a comprehensive toolset for interacting with GitLab accounts, including code review, merge request management, CI/CD configuration, and other functions.
TypeScript
28.5K
4.3 points
D
Duckduckgo MCP Server
Certified
The DuckDuckGo Search MCP Server provides web search and content scraping services for LLMs such as Claude.
Python
81.9K
4.3 points
N
Notion Api MCP
Certified
A Python-based MCP Server that provides advanced to-do list management and content organization functions through the Notion API, enabling seamless integration between AI models and Notion.
Python
24.1K
4.5 points
U
Unity
Certified
UnityMCP is a Unity editor plugin that implements the Model Context Protocol (MCP), providing seamless integration between Unity and AI assistants, including real - time state monitoring, remote command execution, and log functions.
C#
38.6K
5 points
F
Figma Context MCP
Framelink Figma MCP Server is a server that provides access to Figma design data for AI programming tools (such as Cursor). By simplifying the Figma API response, it helps AI more accurately achieve one - click conversion from design to code.
TypeScript
69.9K
4.5 points
G
Gmail MCP Server
A Gmail automatic authentication MCP server designed for Claude Desktop, supporting Gmail management through natural language interaction, including complete functions such as sending emails, label management, and batch operations.
TypeScript
24.1K
4.5 points
M
Minimax MCP Server
The MiniMax Model Context Protocol (MCP) is an official server that supports interaction with powerful text-to-speech, video/image generation APIs, and is suitable for various client tools such as Claude Desktop and Cursor.
Python
55.5K
4.8 points
AIBase
Zhiqi Future, Your AI Solution Think Tank
© 2026AIBase