spec-driven development

A Claude skill and companion repo for spec-driven development: it generates requirements, design, and task files before code is written, and extends the same workflow across Claude Code, Cursor, Windsurf, Copilot, and Aider.

A detailed write-up about using AI coding agents to build and tune a Rust multi-Paxos consensus engine, with concrete notes on contracts, spec-driven development, testing, and performance work.