Desarrollo guiado por especificaciones (SDD) para asistentes de código: primero se escribe la especificación, y el agente implementa contra ella. TypeScript, MIT.