MCP Solver
M

MCP Solver

MCP Solver是一个通过模型上下文协议(MCP)将SAT、SMT和约束求解能力暴露给大型语言模型的服务器。
2.5分
9.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进行配置
注意:您的密钥属于敏感信息,请勿与任何人分享。

替代品

V
Vestige
Vestige是一个基于认知科学的AI记忆引擎,通过实现预测误差门控、FSRS-6间隔重复、记忆梦境等29个神经科学模块,为AI提供长期记忆能力。包含3D可视化仪表板和21个MCP工具,完全本地运行,无需云端。
Rust
5.5K
4.5分
M
Moltbrain
MoltBrain是一个为OpenClaw、MoltBook和Claude Code设计的长期记忆层插件,能够自动学习和回忆项目上下文,提供智能搜索、观察记录、分析统计和持久化存储功能。
TypeScript
4.1K
4.5分
B
Bm.md
一个功能丰富的Markdown排版工具,支持多种样式主题和平台适配,提供实时编辑预览、图片导出和API集成能力
TypeScript
4.4K
5分
S
Security Detections MCP
Security Detections MCP 是一个基于Model Context Protocol的服务器,允许LLM查询统一的安全检测规则数据库,涵盖Sigma、Splunk ESCU、Elastic和KQL格式。最新3.0版本升级为自主检测工程平台,可自动从威胁情报中提取TTPs、分析覆盖差距、生成SIEM原生格式检测规则、运行测试并验证。项目包含71+工具、11个预构建工作流提示和知识图谱系统,支持多SIEM平台。
TypeScript
5.1K
4分
P
Paperbanana
PaperBanana是一个自动化生成学术图表和统计图的智能框架,支持从文本描述生成高质量的论文插图,采用多智能体管道和迭代优化,提供CLI、Python API和MCP服务器等多种使用方式。
Python
7.7K
5分
B
Better Icons
一个提供超过20万图标搜索和检索的MCP服务器和CLI工具,支持150多个图标库,帮助AI助手和开发者快速获取和使用图标。
TypeScript
6.7K
4.5分
A
Assistant Ui
assistant-ui是一个开源TypeScript/React库,用于快速构建生产级AI聊天界面,提供可组合的UI组件、流式响应、无障碍访问等功能,支持多种AI后端和模型。
TypeScript
6.4K
5分
A
Apify MCP Server
Apify MCP服务器是一个基于模型上下文协议(MCP)的工具,允许AI助手通过数千个现成的爬虫、抓取器和自动化工具(Apify Actor)从社交媒体、搜索引擎、电商等网站提取数据。它支持OAuth和Skyfire代理支付,可通过HTTPS端点或本地stdio方式集成到Claude、VS Code等MCP客户端中。
TypeScript
6.6K
5分
F
Figma Context MCP
Framelink Figma MCP Server是一个为AI编程工具(如Cursor)提供Figma设计数据访问的服务器,通过简化Figma API响应,帮助AI更准确地实现设计到代码的一键转换。
TypeScript
75.9K
4.5分
F
Firecrawl MCP Server
Firecrawl MCP Server是一个集成Firecrawl网页抓取能力的模型上下文协议服务器,提供丰富的网页抓取、搜索和内容提取功能。
TypeScript
150.1K
5分
D
Duckduckgo MCP Server
已认证
DuckDuckGo搜索MCP服务器,为Claude等LLM提供网页搜索和内容抓取服务
Python
84.7K
4.3分
B
Baidu Map
已认证
百度地图MCP Server是国内首个兼容MCP协议的地图服务,提供地理编码、路线规划等10个标准化API接口,支持Python和Typescript快速接入,赋能智能体实现地图相关功能。
Python
50.3K
4.5分
E
Edgeone Pages MCP Server
EdgeOne Pages MCP是一个通过MCP协议快速部署HTML内容到EdgeOne Pages并获取公开URL的服务
TypeScript
32.1K
4.8分
M
Minimax MCP Server
MiniMax Model Context Protocol (MCP) 是一个官方服务器,支持与强大的文本转语音、视频/图像生成API交互,适用于多种客户端工具如Claude Desktop、Cursor等。
Python
63.8K
4.8分
C
Context7
Context7 MCP是一个为AI编程助手提供实时、版本特定文档和代码示例的服务,通过Model Context Protocol直接集成到提示中,解决LLM使用过时信息的问题。
TypeScript
106.1K
4.7分
E
Exa Web Search
已认证
Exa MCP Server是一个为AI助手(如Claude)提供网络搜索功能的服务器,通过Exa AI搜索API实现实时、安全的网络信息获取。
TypeScript
56.5K
5分
AIBase
智启未来,您的人工智能解决方案智库