Related Servers

No user-submitted related servers found.

Related Servers

• 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 8 months ago (2026-01-24 00:05 UTC)

  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

• mcp-optimizer

  dmitryanchikov

  A

  license

  B

  quality

  C

  maintenance

  Mathematical Optimization MCP Server with PuLP and OR-Tools support

  Updated a year ago (2025-11-05 20:52 UTC)

  13

  5

  MIT

• 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 2 months ago (2026-08-04 12:12 UTC)

  184

  MIT

• minizinc-mcp

  r33drichards

  A

  license

  -Not graded

  quality

  D

  maintenance

  Enables solving constraint satisfaction and optimization problems using MiniZinc models via a single tool.

  Updated 5 months ago (2026-05-07 18:29 UTC)

  4

  MIT

• io.github.TheTsungYing/annealb

  TheTsungYing

  A

  license

  A

  quality

  A

  maintenance

  Enables AI agents to describe combinatorial optimization problems as JSON and obtain validated, ranked, re-verified solutions through MCP tools.

  Updated 3 days ago (2026-09-24 18:02 UTC)

  4

  215 PyPI

  MIT