← all MCP servers
LeanWarp
io.github.Isagoge-Labs/leanwarp
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
install
pypi · stdio
uvx leanwarp
details
- version
- 0.2.5
- license
- MIT
- stars
- 0
- last commit
- 2026-11-06
- published
- 2026-11-06
last synced 2026-11-06