# mcp-geometry-prover

> Use this tool when you need to prove geometry theorems using symbolic reasoning, solving problems in geometric verification and validation. It takes input problems in AlphaGeometry2 (AG2) format and outputs proof status, enabling users to verify geometric statements. Ideal for use cases requiring rigorous geometric theorem proving, such as educational or research applications.

Canonical page: https://skillsregistry.net/skills/mikeybeez-mcp-geometry-prover  
JSON: https://api.skillsregistry.net/v1/skills/mikeybeez-mcp-geometry-prover

## Description

Wraps AlphaGeometry2's DDAR engine to prove geometry theorems via symbolic reasoning. Enables users to input problems in AG2 format and receive proof status.

## Trust

- **Trust score (0–1):** 0.93
- **Verification tier:** verified
- **Last scanned:** 2026-09-28

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** other
- **Updated:** 2026-09-28

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/a9norv3cp1)
- **Repository:** <https://github.com/MikeyBeez/mcp-geometry-prover>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "mikeybeez-mcp-geometry-prover"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/mikeybeez-mcp-geometry-prover` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/mikeybeez-mcp-geometry-prover/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt