MCP Solver
M

MCP Solver

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

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

替代品

K
Klavis
Klavis AI是一个开源项目,提供在Slack、Discord和Web平台上简单易用的MCP(模型上下文协议)服务,包括报告生成、YouTube工具、文档转换等多种功能,支持非技术用户和开发者使用AI工作流。
TypeScript
8.2K
5分
M
MCP
微软官方MCP服务器,为AI助手提供最新微软技术文档的搜索和获取功能
10.0K
5分
A
Aderyn
Aderyn是一个开源的Solidity智能合约静态分析工具,由Rust编写,帮助开发者和安全研究人员发现Solidity代码中的漏洞。它支持Foundry和Hardhat项目,可生成多种格式报告,并提供VSCode扩展。
Rust
5.9K
5分
D
Devtools Debugger MCP
Node.js调试器MCP服务器,提供基于Chrome DevTools协议的完整调试功能,包括断点设置、单步执行、变量检查和表达式评估等
TypeScript
6.4K
4分
S
Scrapling
Scrapling是一个自适应网页抓取库,能自动学习网站变化并重新定位元素,支持多种抓取方式和AI集成,提供高性能解析和开发者友好体验。
Python
7.9K
5分
M
Mcpjungle
MCPJungle是一个自托管的MCP网关,用于集中管理和代理多个MCP服务器,为AI代理提供统一的工具访问接口。
Go
0
4.5分
C
Cipher
Cipher是一个专为编程AI代理设计的开源记忆层框架,通过MCP协议与各种IDE和AI编码助手集成,提供自动记忆生成、团队记忆共享和双系统记忆管理等核心功能。
TypeScript
0
5分
N
Nexus
Nexus是一个AI工具聚合网关,支持连接多个MCP服务器和LLM提供商,通过统一端点提供工具搜索、执行和模型路由功能,支持安全认证和速率限制。
Rust
0
4分
D
Duckduckgo MCP Server
已认证
DuckDuckGo搜索MCP服务器,为Claude等LLM提供网页搜索和内容抓取服务
Python
58.1K
4.3分
F
Figma Context MCP
Framelink Figma MCP Server是一个为AI编程工具(如Cursor)提供Figma设计数据访问的服务器,通过简化Figma API响应,帮助AI更准确地实现设计到代码的一键转换。
TypeScript
56.9K
4.5分
F
Firecrawl MCP Server
Firecrawl MCP Server是一个集成Firecrawl网页抓取能力的模型上下文协议服务器,提供丰富的网页抓取、搜索和内容提取功能。
TypeScript
97.4K
5分
E
Exa Web Search
已认证
Exa MCP Server是一个为AI助手(如Claude)提供网络搜索功能的服务器,通过Exa AI搜索API实现实时、安全的网络信息获取。
TypeScript
40.2K
5分
E
Edgeone Pages MCP Server
EdgeOne Pages MCP是一个通过MCP协议快速部署HTML内容到EdgeOne Pages并获取公开URL的服务
TypeScript
25.5K
4.8分
M
Minimax MCP Server
MiniMax Model Context Protocol (MCP) 是一个官方服务器,支持与强大的文本转语音、视频/图像生成API交互,适用于多种客户端工具如Claude Desktop、Cursor等。
Python
46.6K
4.8分
B
Baidu Map
已认证
百度地图MCP Server是国内首个兼容MCP协议的地图服务,提供地理编码、路线规划等10个标准化API接口,支持Python和Typescript快速接入,赋能智能体实现地图相关功能。
Python
38.0K
4.5分
C
Context7
Context7 MCP是一个为AI编程助手提供实时、版本特定文档和代码示例的服务,通过Model Context Protocol直接集成到提示中,解决LLM使用过时信息的问题。
TypeScript
72.1K
4.7分
AIBase
智启未来,您的人工智能解决方案智库