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

  1

  Apache 2.0

• ephemeral-reasoning-mcp

  devLlama

  F

  license

  A

  quality

  C

  maintenance

  Provides an MCP server that decomposes complex problems into ordered, isolated reasoning contexts, yielding compressed summaries before discarding intermediate steps. Enables sequential or parallel step execution with optional verification for more reliable LLM reasoning.

  Updated a month ago (2026-08-04 21:28 UTC)

  1

• Learn_MCP Math Server

  naveenkumarr1812

  F

  license

  -Not graded

  quality

  D

  maintenance

  A Model Context Protocol (MCP) server that demonstrates mathematical capabilities through a LangChain integration, allowing clients to perform math operations via the MCP protocol.

  Updated a year ago (2025-07-06 13:27 UTC)

• CotForce-MCP

  islobodan

  A

  license

  A

  quality

  C

  maintenance

  Give brains to your small models. MCP server that enforces step-by-step Chain-of-Thought — turns 4B models into methodical reasoners.

  Updated 4 months ago (2026-05-07 16:24 UTC)

  1

  57

  MIT

• 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 7 months ago (2026-02-10 19:36 UTC)

  5

  41

  1

• sequential-thinking-mcp

  sharvilm1

  A

  license

  -Not graded

  quality

  C

  maintenance

  Remote MCP server for dynamic and reflective problem-solving through structured thinking. Enables step-by-step reasoning with branching, revision tracking, and session management.

  Updated a month ago (2026-08-05 18:29 UTC)

  105

  MIT