Kiro

أداة برمجة تحوّل الطلبات إلى مواصفات قابلة للتنفيذ، وتتحقق من صحة الشيفرة، وتستخدم وكلاء متوازين في قواعد الشيفرة الكبيرة.