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

• CHUK MCP Solver

  IBM

  A

  license

  A

  quality

  D

  maintenance

  Provides constraint satisfaction and optimization capabilities to LLMs and AI agents for scheduling, resource allocation, routing, budget optimization, and configuration problems using Google OR-Tools CP-SAT solver.

  Updated 12 days ago (2026-09-11 02:59 UTC)

  5

  5

  Apache 2.0

• 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

• Decisify

  sharabhshukla

  A

  license

  -Not graded

  quality

  C

  maintenance

  Transforms unstructured natural language operational problems into rigorously formulated, validated, and solved Mixed-Integer Linear Programming (MILP) models via an autonomous multi-agent graph, bringing closed-loop Operations Research capabilities to LLM assistants and MCP clients.

  Updated a month ago (2026-08-16 17:47 UTC)

  MIT

• Moth

  stfade

  A

  license

  B

  quality

  C

  maintenance

  A debugging workflow plugin for AI coding agents. Turns terminal failures into source-backed fixes via MCP and structured skills.

  Updated 5 months ago (2026-05-04 03:31 UTC)

  2

  6 npm

  2

  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 4 months ago (2026-05-19 14:24 UTC)

  7

  65

  Apache 2.0