Loading connector details…
Loading connector details…
Choose a unique username to continue using AgentHotspot
by MCP-Reasoner • Modeling & Simulation
An MCP server that exposes Google OR-Tools via a Model Context Protocol interface so LLM agents can submit, validate, and solve constraint and optimization models.
Construct, validate, and solve constraint satisfaction and optimization models using OR-Tools via a standardized MCP interface.
Deterministic JSON-formatted solutions (variable assignments, status, objective value, and solve time) for linear and boolean constraint problems.
Integrate combinatorial solvers into LLM workflows for tasks like knapsack selection, portfolio selection, and simple scheduling under constraints.
This project integrates Google's OR-Tools CP-SAT solver with the Model Context Protocol, allowing models described in JSON to be executed and optimized programmatically. It supports integer and boolean variables, linear constraints using OR-Tools method syntax, and linear objectives, plus solver parameters like timeouts. The server returns structured JSON solutions (status, variable assignments, objective value, solve time), making it easy to embed constraint solving into LLM-driven workflows. It's useful for problems such as knapsack selection, portfolio choice, scheduling, and other combinatorial optimization tasks.
Scores are informational only and provided “as is” without warranty. AgentHotspot assumes no liability for actions taken based on these ratings.