Skip to main content
Glama
MikeyBeez

mcp-geometry-prover

by MikeyBeez
OverviewSchemaSourceRelated ServersDiscussionsAdmin
JavaScript
Local

Related Servers

Alternatives to mcp-geometry-prover

No user-submitted related servers found.

    Related Servers

    • 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.
      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.
      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.
      -

    • 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.
      MIT
    Deploy Server
    One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

    TDQS

    A3.9/5.0

    Scored across 3 tools

    Disambiguation5/5

    Each tool has a clearly distinct purpose: one provides examples, one offers help, and one performs proofs. There is no overlap or ambiguity.

    Naming Consistency5/5

    All tool names follow the consistent pattern 'geometry_<noun>', making them predictable and easy to distinguish.

    Tool Count5/5

    With only three tools, the server is well-scoped for its specialized domain of geometry proving, covering essential functionalities without excess.

    Completeness5/5

    The tool set covers the complete workflow: getting started (example), learning (help), and executing proofs (prove). No obvious gaps are present.

    Maintenance

    ActivityInactive
    ResponsivenessNo issues

    Resources