MCP servers
LeanWarp
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
Remotes
This server publishes no hosted endpoint. Run one of its packages locally.
Packages
leanwarp · pypi 0.2.6 · stdio
claude mcp add --transport stdio leanwarp -- uvx leanwarp==0.2.6Server details
- Registry name
- io.github.Isagoge-Labs/leanwarp
- Version
- 0.2.6
- Registry status
- active
- Repository
