Related Servers

No user-submitted related servers found.

Related Servers

• z3-solver-mcp-server

  dsouflis

  F

  license

  A

  quality

  D

  maintenance

  Enables solving constraint satisfaction problems, mathematical equations, and logic puzzles using the Z3 SMT solver through natural language.

  Updated a year ago (2025-06-10 17:23 UTC)

  1

  3

• 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

• 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 10 months ago (2025-10-14 18:04 UTC)

  1

  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 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

• Chiasmus

  yogthos

  A

  license

  -Not graded

  quality

  A

  maintenance

  MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.

  Updated 2 months ago (2026-06-29 12:19 UTC)

  89

  207

  Apache 2.0