Related Servers

No user-submitted related servers found.

Related Servers

• mcp-solver

  szeider

  A

  license

  -Not graded

  quality

  A

  maintenance

  A Model Context Protocol (MCP) server that exposes MiniZinc constraint solving capabilities to Large Language Models.

  Updated 20 days ago (2026-08-04 12:12 UTC)

  177

  MIT

• Gurddy MCP Server

  novvoo

  A

  license

  -Not graded

  quality

  D

  maintenance

  Enables solving Constraint Satisfaction Problems (CSP) like N-Queens, graph coloring, and Sudoku, as well as Linear Programming optimization problems through both MCP tools and HTTP API endpoints.

  Updated 10 months ago (2025-10-24 03:31 UTC)

  2

  MIT

• MCP Solver

  swesmith-repos

  A

  license

  -Not graded

  quality

  -Not graded

  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)

• MCP-ORTools

  MCP-Reasoner

  A

  license

  C

  quality

  D

  maintenance

  Enables Large Language Models to submit and solve constraint satisfaction and optimization problems using Google OR-Tools through JSON model specification.

  Updated a year ago (2025-04-28 05:35 UTC)

  1

  1

  MIT

• Google OR-Tools server

  Jacck

  A

  license

  -Not graded

  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

• Constrained Optimization MCP

  Sharmarajnish

  A

  license

  A

  quality

  C

  maintenance

  Enables solving complex combinatorial optimization problems with logical and numerical constraints through multiple solvers (Z3, CVXPY, HiGHS, OR-Tools). Specializes in portfolio optimization, scheduling, resource allocation, and constraint satisfaction problems.

  Updated a year ago (2025-09-13 13:43 UTC)

  5

  5

  Apache 2.0