¿Qué hace spec-before-lean-implementation?
Habilidad de Codex para implementación minimalista y precisa.
Esta habilidad instruye al agente de IA a escribir primero una especificación de lo que va a implementar antes de escribir cualquier código. Luego, debe producir la implementación más minimalista y precisa que cumpla con la especificación.
Uso
Incluye esta habilidad en tu configuración de Codex o pégala en el prompt del agente cuando quieras que genere código siguiendo este flujo de trabajo.
Principios
- Especificar primero: Redacta una especificación breve (1-3 frases) que describa qué debe hacer el código y por qué.
- Implementación minimalista: Escribe solo el código necesario para cumplir la especificación. Sin adornos, sin funcionalidades no solicitadas.
- Precisión: Asegúrate de que el código sea correcto y manejable.
Comportamiento esperado
Cuando se activa, el agente:
- Primero escribe una especificación (en un bloque de cita o texto plano).
- Luego escribe el código correspondiente.
- Si la implementación se vuelve compleja, sugiere dividirla en pasos más pequeños.
Ejemplo
Usuario: Añade un endpoint GET /health a la API.
Agente: Especificación: Agregar una ruta GET /health que devuelva un JSON con el estado
{"status": "ok"}. Sirve para monitorear la salud del servicio.@app.get("/health") def health_check(): return {"status": "ok"}