Spent nights over the last six months combining AI coding agents with containers, spec-driven development, and formal verification, so that I (eventually) don't have to manually review 10k+ lines of AI code a day, or worry about the latest model wiping out my home directory:

https://www.overplane.dev/ (Apache-2.0)