Kiro

การวิเคราะห์

พนันของ Kiro คือความล้มเหลวส่วนใหญ่ของเอเจนต์เป็นความล้มเหลวด้านสเปก ดังนั้นจึงทำสเปกขึ้นมาก่อน สร้างโค้ดตามสเปก และใช้ property-based testing จับ edge case ที่การสาธิต happy path ซ่อนไว้ บนโค้ดเบสขนาดใหญ่หรือยืนยาว วินัยนี้คุ้มค่ากับตัวเอง และเอเจนต์ขนานทำให้ส่วนที่ช้าช้าลงน้อยลง สำหรับการเปลี่ยนแปลงเล็ก ขั้นตอนสเปกคือภาระล้วน ๆ และคุณจะรู้สึกทุกวินาทีของมัน เครื่องมือนี้สำหรับงานที่ต้องทำอย่างเป็นระบบ ไม่ใช่การแก้ไขเร็ว

จุดเด่น

• สเปกที่เขียนไว้ทำให้ความตั้งใจของเอเจนต์ตรวจสอบได้ก่อนลงมือ
• Property-based testing จับสิ่งที่การสาธิต happy path พลาด
• เอเจนต์ขนานช่วยลดเวลาในงานที่ช้าจริง ๆ

ควรรู้ก่อน

• ขั้นตอนสเปกคือภาระล้วน ๆ สำหรับงานเล็ก
• เครื่องมือยังใหม่อยู่ มีขอบหยักที่ตามมาด้วย