Spec-driven development for coding agents — a desktop app, a CLI, and skills for Codex, Claude Co...