Spec-driven development framework — AI agents that think before they type