MCP Solver
M

MCP Solver

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

什么是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进行配置
注意:您的密钥属于敏感信息,请勿与任何人分享。

替代品

S
Shadcn Ui MCP Server
一个为AI工作流提供shadcn/ui组件集成的MCP服务器,支持React、Svelte和Vue框架,包含组件源码、示例和元数据访问功能。
TypeScript
7.4K
5分
C
Contracts Wizard
OpenZeppelin Contracts Wizard是一个交互式智能合约构建工具,允许用户通过选择合约类型、参数和功能来生成基于OpenZeppelin组件的合约代码。支持多种编程语言,并提供API和嵌入功能。
TypeScript
7.7K
4分
Z
Zen MCP Server
Zen MCP是一个多模型AI协作开发服务器,为Claude和Gemini CLI等AI编码助手提供增强的工作流工具和跨模型上下文管理。它支持多种AI模型的无缝协作,实现代码审查、调试、重构等开发任务,并能保持对话上下文在不同工作流间的延续。
Python
13.9K
5分
O
Opendia
OpenDia是一款开源浏览器扩展工具,允许AI模型直接控制用户浏览器,利用现有登录状态、书签等数据进行自动化操作,支持多种浏览器和AI模型,注重隐私保护。
JavaScript
10.2K
5分
C
Container Use
Container Use是一个开源工具,为编码代理提供容器化隔离环境,支持多代理并行开发且互不干扰。
Go
9.4K
5分
N
Notte Browser
已认证
Notte是一个开源的全栈网络AI代理框架,提供浏览器会话、自动化LLM驱动的代理、网页观察与操作、凭证管理等功能,旨在将互联网转化为代理友好的环境,并通过自然语言描述网站结构,降低LLM的认知负担。
20.0K
4.5分
S
Search1api
Search1API MCP Server是一个基于Model Context Protocol (MCP)的服务器,提供搜索和爬取功能,支持多种搜索服务和工具。
TypeScript
18.1K
4分
D
Duckduckgo MCP Server
已认证
DuckDuckGo搜索MCP服务器,为Claude等LLM提供网页搜索和内容抓取服务
Python
41.4K
4.3分
F
Figma Context MCP
Framelink Figma MCP Server是一个为AI编程工具(如Cursor)提供Figma设计数据访问的服务器,通过简化Figma API响应,帮助AI更准确地实现设计到代码的一键转换。
TypeScript
43.6K
4.5分
F
Firecrawl MCP Server
Firecrawl MCP Server是一个集成Firecrawl网页抓取能力的模型上下文协议服务器,提供丰富的网页抓取、搜索和内容提取功能。
TypeScript
66.0K
5分
D
Duckduckgo MCP Server
已认证
DuckDuckGo搜索MCP服务器,为Claude等LLM提供网页搜索和内容抓取服务
Python
41.4K
4.3分
E
Exa Web Search
已认证
Exa MCP Server是一个为AI助手(如Claude)提供网络搜索功能的服务器,通过Exa AI搜索API实现实时、安全的网络信息获取。
TypeScript
30.9K
5分
B
Baidu Map
已认证
百度地图MCP Server是国内首个兼容MCP协议的地图服务,提供地理编码、路线规划等10个标准化API接口,支持Python和Typescript快速接入,赋能智能体实现地图相关功能。
Python
33.3K
4.5分
C
Context7
Context7 MCP是一个为AI编程助手提供实时、版本特定文档和代码示例的服务,通过Model Context Protocol直接集成到提示中,解决LLM使用过时信息的问题。
TypeScript
50.7K
4.7分
M
Minimax MCP Server
MiniMax Model Context Protocol (MCP) 是一个官方服务器,支持与强大的文本转语音、视频/图像生成API交互,适用于多种客户端工具如Claude Desktop、Cursor等。
Python
36.5K
4.8分
E
Edgeone Pages MCP Server
EdgeOne Pages MCP是一个通过MCP协议快速部署HTML内容到EdgeOne Pages并获取公开URL的服务
TypeScript
21.4K
4.8分
AIbase
智启未来,您的人工智能解决方案智库