Qué es GitHub Spec Kit: usar el desarrollo guiado por especificaciones para encauzar la programación con IA