Related Servers

No user-submitted related servers found.

Related Servers

• Z3/SMT MCP Server

  NewJerseyStyle

  A

  license

  A

  quality

  C

  maintenance

  Enables constraint solving, logical reasoning, and satisfiability checking using the Z3 theorem prover via natural language.

  Updated 7 months ago (2026-01-24 22:48 UTC)

  13

  1

  MIT

• Logic-LM MCP Server

  shipitsteven

  A

  license

  -Not graded

  quality

  F

  maintenance

  Provides symbolic reasoning capabilities by converting natural language logical problems into Answer Set Programming (ASP) format and solving them using the Clingo solver. Enables users to perform formal logical reasoning, verify logical arguments, and get step-by-step explanations for complex logical problems.

  Updated a year ago (2025-08-28 21:34 UTC)

  5

  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

• 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

• Logic-Thinking MCP Server

  quanticsoul4772

  A

  license

  -Not graded

  quality

  D

  maintenance

  Enables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.

  Updated a year ago (2025-10-14 18:04 UTC)

  1

  MIT

• MCP Optimizer

  mrugankpednekar

  A

  license

  -Not graded

  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