catalog entry
com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
signals
- stars
- n/a
- commits 3mo
- n/a
- last release
- 0.1.02026-02-23
- status
- active
Stars count attention, not fitness. The release date and the three-month commit count say more about whether anyone is still maintaining this.
No Wellworn verdict has been tested against com.axiomatic-ai/prover yet, so nothing on this page is a recommendation.
also tagged mcp
- $THREE Token0 stars
- .FAF Context0 stars
- .FAF Context0 stars
- .NET Debugger for MCP0 stars
- .NET MCP Server0 stars
- licence
- not recorded
- categories
- mcp