Schema | mcp-geometry-prover

mcp-geometry-prover

Describes the environment variables required to run the server.

Name	Required	Description	Default
No arguments

Features and capabilities supported by this server

Capability	Details
`tools`	{}

Functions exposed to the LLM to take actions

Name	Description
geometry_prove	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_example	Get an example geometry problem in AG2 format
geometry_help	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

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/MikeyBeez/mcp-geometry-prover'

If you have feedback or need assistance with the MCP directory API, please join our Discord server