MCP Solver
M

MCP Solver

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

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

替代品

R
Rsdoctor
Rsdoctor 是一款专为 Rspack 生态系统打造的构建分析工具,全面兼容 webpack,提供可视化构建分析、多维度性能诊断及智能优化建议,帮助开发者提升构建效率与工程质量。
TypeScript
7.9K
5分
N
Next Devtools MCP
Next.js开发工具MCP服务器,为Claude、Cursor等AI编程助手提供Next.js开发工具和实用程序,包括运行时诊断、开发自动化和文档访问功能。
TypeScript
9.5K
5分
T
Testkube
Testkube是一个面向云原生应用的测试编排与执行框架,提供统一平台来定义、运行和分析测试,支持现有测试工具和Kubernetes基础设施。
Go
6.2K
5分
M
MCP Windbg
一个MCP服务器,将AI模型与WinDbg/CDB集成,用于分析Windows崩溃转储文件和进行远程调试,支持自然语言交互执行调试命令。
Python
9.8K
5分
R
Runno
Runno是一个JavaScript工具包集合,用于在浏览器和Node.js等环境中安全地运行多种编程语言的代码,通过WebAssembly和WASI实现沙盒化执行,支持Python、Ruby、JavaScript、SQLite、C/C++等语言,并提供Web组件、MCP服务器等集成方式。
TypeScript
7.6K
5分
P
Praisonai
PraisonAI是一个生产就绪的多AI智能体框架,具有自反思功能,旨在创建AI智能体来自动化解决从简单任务到复杂挑战的各种问题。它通过将PraisonAI智能体、AG2和CrewAI集成到一个低代码解决方案中,简化了多智能体LLM系统的构建和管理,强调简单性、定制化和有效的人机协作。
Python
7.4K
5分
N
Netdata
Netdata是一个开源实时基础设施监控平台,提供每秒级指标收集、可视化、机器学习驱动的异常检测和自动化告警,无需复杂配置即可实现全栈监控。
Go
9.7K
5分
M
MCP Server
Mapbox MCP服务器是一个Node.js实现的模型上下文协议服务器,为AI应用提供Mapbox地理空间API的访问能力,包括地理编码、兴趣点搜索、路线规划、等时线分析和静态地图生成等功能。
TypeScript
8.8K
4分
F
Figma Context MCP
Framelink Figma MCP Server是一个为AI编程工具(如Cursor)提供Figma设计数据访问的服务器,通过简化Figma API响应,帮助AI更准确地实现设计到代码的一键转换。
TypeScript
68.7K
4.5分
D
Duckduckgo MCP Server
已认证
DuckDuckGo搜索MCP服务器,为Claude等LLM提供网页搜索和内容抓取服务
Python
77.0K
4.3分
F
Firecrawl MCP Server
Firecrawl MCP Server是一个集成Firecrawl网页抓取能力的模型上下文协议服务器,提供丰富的网页抓取、搜索和内容提取功能。
TypeScript
134.7K
5分
B
Baidu Map
已认证
百度地图MCP Server是国内首个兼容MCP协议的地图服务,提供地理编码、路线规划等10个标准化API接口,支持Python和Typescript快速接入,赋能智能体实现地图相关功能。
Python
45.6K
4.5分
E
Edgeone Pages MCP Server
EdgeOne Pages MCP是一个通过MCP协议快速部署HTML内容到EdgeOne Pages并获取公开URL的服务
TypeScript
30.6K
4.8分
M
Minimax MCP Server
MiniMax Model Context Protocol (MCP) 是一个官方服务器,支持与强大的文本转语音、视频/图像生成API交互,适用于多种客户端工具如Claude Desktop、Cursor等。
Python
59.0K
4.8分
E
Exa Web Search
已认证
Exa MCP Server是一个为AI助手(如Claude)提供网络搜索功能的服务器,通过Exa AI搜索API实现实时、安全的网络信息获取。
TypeScript
50.9K
5分
C
Context7
Context7 MCP是一个为AI编程助手提供实时、版本特定文档和代码示例的服务,通过Model Context Protocol直接集成到提示中,解决LLM使用过时信息的问题。
TypeScript
96.3K
4.7分
AIBase
智启未来,您的人工智能解决方案智库