LeanWarp

io.github.Isagoge-Labs/leanwarp

95

security score

Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.

Repository ↗Homepage ↗

GitHub stars

0

Last commit

1 hour ago

Transport

stdio

Security scan

Last scanned 40 minutes ago — static analysis of the published manifest.

lowManifest makes network requests.