Coding agents are collapsing the build-vs-buy tradeoff. Instead of buying a library, framework, or platform, you can build one on demand. The recipe: place the agent inside a closed loop of specification, verification, and optimization. Specification defines the target system, verification guarantees correctness, and optimization guarantees performance. In this talk, we show how that loop guided an agent from prompt to a production-grade implementation of Resonate on ScyllaDB.
