OpenSpec — le spec-driven development pour les agents de code — Shard