OpenSpec

Spec-driven development with a model in the loop, and whether the discipline pays off.