Related Servers

No user-submitted related servers found.

Related Servers

• Aristotle MCP Server

  gleachkr

  F

  license

  B

  quality

  D

  maintenance

  Enables LLMs to prove theorems in Lean and formalize mathematical problems using the Aristotle API, supporting both formal Lean code and natural language problem submissions.

  Updated 9 months ago (2025-12-11 02:46 UTC)

  6

  1

• GeoGebra MCP Server

  FallenAngels520

  F

  license

  -Not graded

  quality

  D

  maintenance

  Provides access to GeoGebra's mathematical computation, geometry construction, and visualization capabilities. Enables mathematical calculations, CAS operations, geometric constructions, and exporting results as PNG or PDF images.

  Updated a year ago (2025-09-15 05:48 UTC)

  11

• Verified Technical Solver

  ASVLCII

  A

  license

  -Not graded

  quality

  C

  maintenance

  Provides deterministic tools for symbolic math, equation solving, relation verification, reasoning structure audits, and validated CAD primitives, returning evidence artifacts for every result.

  Updated 18 days ago (2026-08-16 17:08 UTC)

  MIT

• Logic-LM MCP Server

  shipitsteven

  A

  license

  -Not graded

  quality

  F

  maintenance

  Provides symbolic reasoning capabilities by converting natural language logical problems into Answer Set Programming (ASP) format and solving them using the Clingo solver. Enables users to perform formal logical reasoning, verify logical arguments, and get step-by-step explanations for complex logical problems.

  Updated a year ago (2025-08-28 21:34 UTC)

  5

  MIT

• mcp-math

  MikeyBeez

  F

  license

  -Not graded

  quality

  C

  maintenance

  Provides exact arithmetic and verification tools using SymPy and fractions to solve math competition problems precisely. It enables users to perform rigorous calculations and export notebook-ready Python code for further analysis.

  Updated 17 days ago (2026-08-18 00:35 UTC)

• GGB Web MCP

  kms9

  A

  license

  -Not graded

  quality

  D

  maintenance

  A Model Context Protocol server that enables AI to interact with GeoGebra for mathematical visualization, offering over 25 tools for geometry, functions, algebra, and more.

  Updated 7 months ago (2026-02-05 12:23 UTC)

  MIT