MCP-ORTools
2025.04.28
0
TypeScript约束求解优化工具开发效率
MCP-Reasoner是一个基于Google OR-Tools的约束求解器实现，通过Model Context Protocol（MCP）与大型语言模型集成，用于解决约束满足和优化问题。它支持JSON格式的模型规范，包括变量定义、约束条件和优化目标，适用于多种约束编程场景。
View on GitHub
Overview
基本能力
产品定位
MCP-Reasoner是一个约束求解器服务，旨在通过标准化的约束模型规范，使大型语言模型能够提交和解决约束满足和优化问题。
核心功能
- 提交和验证约束模型
- 设置模型参数
- 解决约束满足和优化问题
- 检索和分析解决方案
- 支持整数和布尔变量
- 支持线性约束和优化目标
- 支持时间限制和求解器参数
- 支持二进制约束和关系
- 支持组合选择问题和背包问题
适用场景
- 组合优化问题
- 背包问题
- 资源分配问题
- 调度问题
- 任何需要约束满足或优化的场景
工具列表
- Google OR-Tools：用于约束求解的核心工具
- JSON模型规范：用于定义变量、约束和目标的格式
常见问题解答
- 状态值解释：
- OPTIMAL：找到最优解
- FEASIBLE：找到可行解
- INFEASIBLE：无解
- UNKNOWN：无法确定解
使用教程
使用依赖
- 需要安装Python和pip
安装教程
- 安装包：
pip install git+https://github.com/Jacck/mcp-ortools.git
- 配置Claude Desktop
在Windows上创建配置文件
%APPDATA%\Claude\claude_desktop_config.json，或在macOS上创建~/Library/Application Support/Claude/claude_desktop_config.json：
{
"mcpServers": {
"ortools": {
"command": "python",
"args": ["-m", "mcp_ortools.server"]
}
}
}
调试方式
- 检查配置文件是否正确
- 确保Python和pip已正确安装
- 检查网络连接是否正常
开发
设置开发环境：
git clone https://github.com/Jacck/mcp-ortools.git
cd mcp-ortools
pip install -e .