Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour

What if formal verification could be fully automated — from researching the codebase, to writing specifications, to proving theorems in Lean 4 — all with near-zero human involvement? Lean Squad is a GitHub Agentic Workflow that does exactly this.