prover
prover is an MCP server that helps AI assistants lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Key facts
- Category
- Developer Tools
- GitHub stars
- 0
- Forks
- 0
- License
- —
- Last commit
- Mar 1, 2026
- Best for
- connecting AI assistants to external tools
- Supported clients
- —
- Last updated
- Jun 12, 2026
GitHub metrics
- Stars
- 0
- Forks
- 0
- Open issues
- 1
- Watchers
- 0
- Last commit
- Mar 1, 2026
Scores
GEO score
11/100
Weighted blend: popularity 35%, freshness 25%, growth 25%, maintenance 15%.
Needs ~7 days of metric history
Scores last calculated Jun 12, 2026.
What is prover?
prover is an MCP server that helps AI assistants lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib. It belongs to the Developer Tools category.
How to install prover
See the official documentation for installation instructions.
prover use cases
A general-purpose MCP server.
Safety notes
- Requires API token
- Yes
- Writes to external systems
- Unknown
- Accesses local filesystem
- Unknown
- Connects to a database
- Unknown
- Security docs
- Yes
Inferred by rule from each server's metadata, README, and category. "Unknown" means the signal could not be determined — always verify against the official docs before granting access.
Data sources
| Field | Value | Source | Confidence |
|---|---|---|---|
| Forks | 0 | GitHub REST API | high |
| Last commit | Mar 1, 2026 | GitHub REST API | high |
| Stars | 0 | GitHub REST API | high |
| Watchers | 0 | GitHub REST API | high |
| Has Authentication Docs | Yes | Repository README | medium |
| Has Security Docs | Yes | Repository README | medium |
| Risk level | Medium | Automated risk inference | medium |
| Requires Api Token | Yes | Automated risk inference | low |
| Uses Network Access | Yes | Automated risk inference | low |
Confidence reflects the source: high = GitHub REST API, medium = README-derived or synthesized, low = inferred from keywords. Fields that cannot be determined are shown as "Unknown" — never fabricated.
Recent changes
- Last commit set to Mar 1, 2026
prover alternatives
- Context7★ 57.2K · MIT · Jun 11, 2026
Another Developer Tools MCP server with similar use cases.
- GitHub MCP Server★ 30.6K · MIT · Jun 12, 2026
Another Developer Tools MCP server with similar use cases.
- MCP Registry Server★ 6.9K · license n/a · Jun 10, 2026
Another Developer Tools MCP server with similar use cases.
- strata★ 5.7K · Apache-2.0 · Jun 1, 2026
Another Developer Tools MCP server with similar use cases.
- Figma MCP Server★ 1.6K · license n/a · Jun 10, 2026
Another Developer Tools MCP server with similar use cases.
- ref-tools-ref-tools-mcp★ 1.1K · MIT · May 6, 2026
Another Developer Tools MCP server with similar use cases.
prover vs related MCP servers
| Server | Stars | Forks | License | Last commit |
|---|---|---|---|---|
| prover | 0 | 0 | — | Mar 1, 2026 |
| Context7 | 57.2K | 2.7K | MIT | Jun 11, 2026 |
| GitHub MCP Server | 30.6K | 4.4K | MIT | Jun 12, 2026 |
| MCP Registry Server | 6.9K | 858 | — | Jun 10, 2026 |
Frequently asked questions
What is prover?
prover is an MCP server that helps AI assistants lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib. It is categorized under Developer Tools.
What are good alternatives to prover?
Popular alternatives include Context7, GitHub MCP Server, MCP Registry Server, and strata.
Last updated