MCP OR-Tools Server

Example Use Cases

• 1

  Convert natural-language optimization requests into verified OR-Tools models and obtain optimal or feasible solutions via a standardized JSON protocol.

• 2

  Solve combinatorial problems like knapsack, scheduling, and portfolio selection using CP-SAT and retrieve structured solutions for downstream reasoning.

• 3

  Validate, set parameters, and iterate on constraint models (variables, constraints, objectives) programmatically and get solver status and timing information.

Description

MCP-ORTools is an MCP server implementation that exposes Google OR-Tools CP-SAT solver through a JSON-based model specification, enabling agents to define variables, constraints, and objectives and receive structured solutions. It supports integer and boolean variables, linear constraints using OR-Tools method syntax, linear optimization objectives, solver parameters, and timeouts. Typical uses include knapsack and portfolio selection problems, general constraint satisfaction and optimization tasks, and programmatic model validation and iteration with JSON-formatted results.