Show HN: Specification-Driven Development for OpenAI Codex