Related Servers

No user-submitted related servers found.

Related Servers

• SAGE

  pragnakar

  A

  license

  -

  quality

  D

  maintenance

  Enables Claude Desktop and MCP-compatible agents to formulate, solve, and certify mathematical optimization problems using production-grade open-source solvers, providing mathematically grounded decisions.

  Updated 5 months ago (2026-03-20 09:07 UTC)

  MIT

• MCP Optimizer

  mrugankpednekar

  A

  license

  -

  quality

  D

  maintenance

  Enables solving linear programming (LP) and mixed-integer linear programming (MILP) optimization problems through natural language, with built-in simplex and branch-and-cut solvers plus infeasibility diagnostics. Includes optional OR-Tools fallback for larger problems and supports parsing optimization problems from natural language descriptions.

  Updated 9 months ago (2025-11-22 22:03 UTC)

  MIT

• USolver

  sdiehl

  A

  license

  B

  quality

  F

  maintenance

  A best-effort universal logic and numerical solver interface using MCP that implements the 'LLM sandwich' model to process queries, call dedicated solvers (ortools, cvxpy, z3), and verbalize results.

  Updated 3 months ago (2026-05-19 14:24 UTC)

  7

  65

  Apache 2.0

• Google OR-Tools server

  Jacck

  A

  license

  -

  quality

  D

  maintenance

  MCP-ORTools integrates Google's OR-Tools constraint programming solver with Large Language Models through the MCP, enabling AI models to: Submit and validate constraint models Set model parameters Solve constraint satisfaction and optimization problems Retrieve and analyze solution

  Updated 2 years ago (2024-12-26 19:26 UTC)

  21

  MIT

• agent-orchestrator

  vndmea

  A

  license

  -

  quality

  B

  maintenance

  Enables multi-model leader-worker agent orchestration, workflow execution, and deterministic validation via structured MCP tools.

  Updated a month ago (2026-07-06 14:14 UTC)

  16

  Apache 2.0

• MCP Solver

  swesmith-repos

  A

  license

  -

  quality

  -

  maintenance

  An MCP server that enables Large Language Models to interactively create, edit, and solve constraint models using backends like MiniZinc, Z3, PySAT, and Clingo. It bridges natural language with symbolic reasoning for solving complex logical, SAT, SMT, and optimization problems.

  Updated 7 months ago (2026-01-24 00:05 UTC)