MCP Solver
M

MCP Solver

MCP Solver是一个通过模型上下文协议(MCP)将SAT、SMT和约束求解能力暴露给大型语言模型的服务器。
2.5分
7.2K

什么是MCP Solver?

MCP Solver是一个通过Model Context Protocol(MCP)集成大型语言模型和约束求解器的工具。它允许用户创建、编辑和解决基于MiniZinc、PySAT和Z3的约束模型。

如何使用MCP Solver?

用户可以通过命令行或图形界面与MCP Solver交互。首先安装所需依赖,然后选择合适的模式(MiniZinc、PySAT或Z3),最后输入模型并运行求解。

适用场景

MCP Solver适用于需要解决组合优化、逻辑推理和复杂约束问题的应用场景,如调度安排、资源配置和路径规划。

主要功能

MiniZinc模式
支持丰富的约束表达式和全局约束,适用于复杂的组合优化问题。
PySAT模式
用于布尔逻辑和命题逻辑的求解,支持多种SAT求解器。
Z3模式
强大的SMT求解器,支持量化和复杂理论约束。
交互式模型构建
允许用户逐步构建和调试模型,实时查看求解状态。
优势
支持多种求解模式,适应不同问题类型。
集成LLM能力,提升问题建模效率。
开源且易于扩展,适合研究和开发使用。
局限性
需要一定的编程基础来定义模型。
大规模问题可能需要高性能计算资源。
当前版本仍处于原型阶段,稳定性有待验证。

如何使用

安装依赖
确保已安装Python 3.11及以上版本,并使用uv工具管理项目。
启动服务器
根据需求选择模式(MiniZinc、PySAT或Z3)。例如,MiniZinc模式可以使用命令'mcp-solver-mzn'。
添加模型
通过命令行逐步构建模型,支持添加、删除和替换约束。
运行求解
执行求解操作并查看结果。

使用案例

演员分配问题
解决一个剧院导演在演员分配上的难题。
N皇后问题
验证在不同棋盘大小下是否可以放置N个皇后。

常见问题

MCP Solver支持哪些求解模式?
如何安装MCP Solver所需的依赖?
MCP Solver适用于哪些场景?

相关资源

GitHub仓库
MCP Solver的官方GitHub仓库。
MCP官网
了解Model Context Protocol的更多信息。
用户反馈表单
提供您的使用反馈。

安装

复制以下命令到你的Client进行配置
注意:您的密钥属于敏感信息,请勿与任何人分享。

替代品

F
Flux GitOps
Flux Operator是一个Kubernetes CRD控制器,用于管理CNCF Flux CD的生命周期,提供自动化安装、配置、升级功能,支持多租户锁定、分片、水平扩展等高级配置,并集成自服务环境和AI辅助GitOps功能。
Go
5.3K
4分
N
Notte Browser
已认证
Notte是一个开源的全栈网络AI代理框架,提供浏览器会话、自动化LLM驱动的代理、网页观察与操作、凭证管理等功能,旨在将互联网转化为代理友好的环境,并通过自然语言描述网站结构,降低LLM的认知负担。
15.5K
4.5分
S
Search1api
Search1API MCP Server是一个基于Model Context Protocol (MCP)的服务器,提供搜索和爬取功能,支持多种搜索服务和工具。
TypeScript
14.0K
4分
D
Duckduckgo MCP Server
已认证
DuckDuckGo搜索MCP服务器,为Claude等LLM提供网页搜索和内容抓取服务
Python
28.9K
4.3分
B
Bing Search MCP
一个用于集成微软Bing搜索API的MCP服务器,支持网页、新闻和图片搜索功能,为AI助手提供网络搜索能力。
Python
14.3K
4分
M
MCP Alchemy
已认证
MCP Alchemy是一个连接Claude Desktop与多种数据库的工具,支持SQL查询、数据库结构分析和数据报告生成。
Python
12.8K
4.2分
P
Postgresql MCP
一个基于FastMCP库的PostgreSQL数据库MCP服务,提供对指定表的CRUD操作、模式检查和自定义SQL查询功能。
Python
9.9K
4分
A
Agentic Radar
Agentic Radar是一个用于分析和评估代理系统的安全扫描工具,帮助开发者、研究人员和安全专家理解代理系统的工作流程并识别潜在漏洞。
Python
10.8K
5分
F
Firecrawl MCP Server
Firecrawl MCP Server是一个集成Firecrawl网页抓取能力的模型上下文协议服务器,提供丰富的网页抓取、搜索和内容提取功能。
TypeScript
43.9K
5分
F
Figma Context MCP
Framelink Figma MCP Server是一个为AI编程工具(如Cursor)提供Figma设计数据访问的服务器,通过简化Figma API响应,帮助AI更准确地实现设计到代码的一键转换。
TypeScript
32.5K
4.5分
D
Duckduckgo MCP Server
已认证
DuckDuckGo搜索MCP服务器,为Claude等LLM提供网页搜索和内容抓取服务
Python
28.9K
4.3分
M
Minimax MCP Server
MiniMax Model Context Protocol (MCP) 是一个官方服务器,支持与强大的文本转语音、视频/图像生成API交互,适用于多种客户端工具如Claude Desktop、Cursor等。
Python
23.3K
4.8分
E
Exa Web Search
已认证
Exa MCP Server是一个为AI助手(如Claude)提供网络搜索功能的服务器,通过Exa AI搜索API实现实时、安全的网络信息获取。
TypeScript
21.2K
5分
E
Edgeone Pages MCP Server
EdgeOne Pages MCP是一个通过MCP协议快速部署HTML内容到EdgeOne Pages并获取公开URL的服务
TypeScript
15.0K
4.8分
C
Context7
Context7 MCP是一个为AI编程助手提供实时、版本特定文档和代码示例的服务,通过Model Context Protocol直接集成到提示中,解决LLM使用过时信息的问题。
TypeScript
27.4K
4.7分
B
Baidu Map
已认证
百度地图MCP Server是国内首个兼容MCP协议的地图服务,提供地理编码、路线规划等10个标准化API接口,支持Python和Typescript快速接入,赋能智能体实现地图相关功能。
Python
21.1K
4.5分
AIBase
智启未来,您的人工智能解决方案智库