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

  6

  1

  Apache 2.0

• groundcheck-mcp

  aghasalim

  A

  license

  -Not graded

  quality

  A

  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-09-02 08:51 UTC)

  MIT

• mcp-lint-server

  ZachDreamZ

  A

  license

  -Not graded

  quality

  C

  maintenance

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

  Updated 2 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 4 days ago (2026-09-11 13:54 UTC)

  3

  32 npm

  2

  GPL 3.0

• dynamic-tool-mcp

  sfdrive223-art

  F

  license

  -Not graded

  quality

  C

  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 2 months ago (2026-07-05 03:51 UTC)

  -

• Mathematical MCP Server

  deepa11042004

  F

  license

  -Not graded

  quality

  C

  maintenance

  A mathematical MCP server exposing 6 basic arithmetic and secure symbolic expression evaluation tools (add, subtract, multiply, divide, power, evaluate_expression) with structured JSON responses, input validation, and safe AST-based parsing.

  Updated a month ago (2026-08-03 16:27 UTC)

  -