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 9 months ago (2026-02-20 12:40 UTC)

  6

  14 PyPI

  2

  Apache 2.0

• groundcheck-mcp

  aghasalim

  A

  license

  A

  quality

  B

  maintenance

  MCP server for grounding verification (exact quotes, citations, code output, repo patterns, arithmetic) using no LLM in the verification path.

  Updated 13 days ago (2026-11-01 23:59 UTC)

  5

  2

  MIT

• mcp-lint-server

  ZachDreamZ

  A

  license

  -Not graded

  quality

  D

  maintenance

  Model Context Protocol (MCP) server wrapping mcp-lint to perform static analysis and schema checking on other MCP servers.

  Updated 4 months ago (2026-07-23 01:22 UTC)

  MIT

• Axiom Advanced Math MCP

  tufantunc

  A

  license

  A

  quality

  B

  maintenance

  Provides an MCP server exposing compute, verify, and plot tools backed by Giac/Xcas for exact symbolic and numerical mathematics, enabling LLMs to solve calculus, algebra, geometry, and more with verified results.

  Updated 2 days ago (2026-11-13 15:18 UTC)

  3

  349 npm

  3

  GPL 3.0

• dynamic-tool-mcp

  sfdrive223-art

  F

  license

  -Not graded

  quality

  D

  maintenance

  A FastMCP server that dynamically loads tools from Python/YAML file pairs, acting as a stand-in for the Tools Framework in agentic-assembly-framework.

  Updated 4 months ago (2026-07-05 03:51 UTC)

  -

• mcp-server-kit

  snickery

  A

  license

  -Not graded

  quality

  B

  maintenance

  Enables developers to build and run authenticated FastMCP servers with worker-thread execution for blocking tools, liveness probes, collision-safe file staging, and optional PDF/OCR helpers.

  Updated 21 days ago (2026-10-25 11:42 UTC)

  108 PyPI

  MIT