Armory
Source
Browse
MCPs

sharmarajnish-constrained-optimization

Provides unified access to multiple optimization solvers including Z3, CVXPY, HiGHS, and OR-Tools for solving constraint satisfaction, convex optimization, linear programming, and combinatorial problems like portfolio optimization, production planning, scheduling, and classic puzzles with mathematical formulations and visualization capabilities.

Score
55.5152 signals
Evidence
5 stars · 2 forks
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. sdiehl-universal-solver65 stars · 8 forks86.808
  2. jacck-ortools21 stars · 9 forks79.313
  3. rikarazome-prolog-reasoner11 stars · 1 fork63.155

What it is

MCP server Constrained Optimization, catalogued on PulseMCP. Provides unified access to multiple optimization solvers including Z3, CVXPY, HiGHS, and OR-Tools for solving constraint satisfaction, convex optimization, linear programming, and combinatorial problems like portfolio optimization, production planning, scheduling, and classic puzzles with mathematical formulations and visualization capabilities.

When to use it

Provides unified access to multiple optimization solvers including Z3, CVXPY, HiGHS, and OR-Tools for solving constraint satisfaction, convex optimization, linear programming, and combinatorial problems like portfolio optimization, production planning, scheduling, and classic puzzles with mathematical formulations and visualization capabilities.

Notes

Listed from the PulseMCP registry. The registry does not state a license. Check it before production use.