Spec-driven development for coding agents - a desktop app, a CLI, and skills for Codex, Claude Code, Cursor, Copilot, Antigravity and Junie