mcp-geometry-prover
Rank #95,051glama/MikeyBeez/mcp-geometry-prover
Wraps AlphaGeometry2's DDAR engine to prove geometry theorems via symbolic reasoning. Enables users to input problems in AG2 format and receive proof status.
mcp-geometry-prover is a Model Context Protocol (MCP) server published by MikeyBeez. It ranks #95,051 of 115,460 servers tracked on MCP Toplist. mcp-geometry-prover is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Jun 10, 2026.
Ranks ahead of 20,409 of 115,460 servers on MCP Toplist.
Use mcp-geometry-prover
No credentials or required configuration declared — add it to your MCP client and go.
This server doesn't publish a machine-readable install config — see the repository README for install instructions.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/glama%2FMikeyBeez%2Fmcp-geometry-prover)<a href="https://mcptoplist.com/server/glama%2FMikeyBeez%2Fmcp-geometry-prover"><img src="https://mcptoplist.com/badge/glama%2FMikeyBeez%2Fmcp-geometry-prover.svg" alt="MCP Toplist: #95,051 of 115,460" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
MikeyBeez
Other servers by MikeyBeez
- reasoning-tools#27,485
- simple-job#31,285
- MCP SmallEdit#35,165
- MCP Contemplation#41,796
- MCP Git Server#42,189
- mcp-system#42,341
- tracked-search#47,304
- MCP Reminders#47,616
- MCP Ollama Server#50,149
- mcp-math#50,568
- MCP Continuation Notes#57,601
- mcp-random#59,154
Not versioned
This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- Who maintains mcp-geometry-prover?
- mcp-geometry-prover is maintained by MikeyBeez, which publishes 22 MCP servers (0 total versions) tracked on MCP Toplist.
- Is mcp-geometry-prover listed on the Official MCP Registry?
- mcp-geometry-prover is not on the Official MCP Registry. It is listed on Glama.
- How many versions does mcp-geometry-prover have?
- mcp-geometry-prover ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for mcp-geometry-prover?
- The source code for mcp-geometry-prover is hosted at github.com/MikeyBeez/mcp-geometry-prover.