Related Servers

No user-submitted related servers found.

Related Servers

• 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

• 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

• Atom of Thoughts

  dioptx

  A

  license

  A

  quality

  D

  maintenance

  Structured reasoning MCP server that decomposes problems into atomic steps (premise, reasoning, hypothesis, verification, conclusion) with confidence scoring, live visualization, and approval feedback.

  Updated 4 months ago (2026-04-28 10:36 UTC)

  3

  79

  MIT

• Advanced Reasoning MCP Server

  angrysky56

  A

  license

  A

  quality

  D

  maintenance

  An MCP server that enhances sequential thinking with meta-cognitive capabilities including confidence tracking, hypothesis testing, and organized memory storage through graph-based libraries and structured JSON documents.

  Updated 3 months ago (2026-06-01 04:10 UTC)

  10

  13

  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)

• Thoughtbox

  Kastalien-Research

  A

  license

  -Not graded

  quality

  A

  maintenance

  next-gen reasoning MCP for agentic AI's Wave Two. successor to Waldzell AI's Clear Thought server.

  Updated a month ago (2026-07-15 02:56 UTC)

  56

  64

  MIT