Related Servers

No user-submitted related servers found.

Related Servers

• math-logic-mcp

  ismailkerimov

  A

  license

  A

  quality

  D

  maintenance

  MCP server that gives small LLMs verified symbolic-math & logic tools.

  Updated 6 months ago (2026-02-20 12:40 UTC)

  6

  2

  Apache 2.0

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

• verifiable-thinking-mcp

  CoderDayton

  A

  license

  B

  quality

  -Not graded

  maintenance

  MCP server for structured reasoning with cognitive trap detection, verification, and context compression

  Updated 6 months ago (2026-02-10 19:36 UTC)

  5

  41

  1

• prova-mcp

  insinuateai

  A

  license

  A

  quality

  D

  maintenance

  An MCP server that exposes the Prova reasoning verifier, enabling AI agents to verify their own reasoning and kernel-check Lean 4 proofs before outputting answers.

  Updated 4 months ago (2026-04-19 16:30 UTC)

  5

  MIT

• codecalc

  The-40-Thieves

  A

  license

  B

  quality

  A

  maintenance

  An MCP server that lets AI models run code in 31 languages, evaluate symbolic math and logic problems, and measure complexity—exposed as 48 tools for execution, session management, translation, optimization, and more.

  Updated 3 days ago (2026-08-23 03:14 UTC)

  52

  2

  Apache 2.0

• prolog-mcp

  umuro

  F

  license

  A

  quality

  C

  maintenance

  MCP server wrapping SWI-Prolog for symbolic reasoning, enabling coding agents to assert facts and query rules deterministically.

  Updated 2 months ago (2026-06-17 13:38 UTC)

  7

  7