Show HN: Overplane: Containers and formal verification for AI code

Overplane is an AI code generation and build system that verifies and safely compiles plain-language specs into working, verified code. Container-sandboxed agents, replayable builds, and multi-agent support.