Schema | mcp-geometry-prover

mcp-geometry-prover

Describes the environment variables required to run the server.

Name	Required	Description	Default
No arguments

Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.

This server publishes no instructions, or was last inspected before Glama recorded them.

Features and capabilities supported by this server

Protocol revision2025-11-25

Capability	Details
`tools`	{}

Functions exposed to the LLM to take actions

Name	Description
geometry_proveB	Prove a geometry theorem using AlphaGeometry2's DDAR engine. Input format (AG2 problem string): Points with coordinates: "a@x_y = ;" Constraints: "coll a b c" (collinear), "cong a b c d" (congruent), "perp a b c d" (perpendicular), "para a b c d" (parallel), "cyclic a b c d" (concyclic), "eqangle a b c d e f g h" (equal angles) Goal after "?": "cong e p e q" (prove EP = EQ) Example (IMO 2000 P1): "a@-0.52_0.11 = ; b@-0.19_0.19 = ; ... cong a g1 g1 m, ... ? cong e p e q" Returns proof status and number of deduction steps.
geometry_exampleA	Get an example geometry problem in AG2 format
geometry_helpA	Get help on the geometry prover and AG2 format

Interactive templates invoked by user choice

Name	Description
No prompts

Contextual data attached and managed by the client

Name	Description
No resources

A3.9/5.0

Scored 2026-06-12 16:06 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.

ActivityInactive

ResponsivenessNo issues