io.github.Isagoge-Labs/leanwarp · v0.2.5 · other
LeanWarp is a local (stdio) package with no hosted endpoint.
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
Repository · Website · JSON · Add to my inventory
| Users (last 30 days) | 0 |
| Handshake | Local |
| Auth needed | – |
| Tool count | – |
| Latency | – |
| Last checked (UTC) | never |
No checks yet.
Tools are listed after a successful handshake.