Kiro

AWS обновляет IDE Kiro, интегрируя нейросимволический ИИ для автоматической верификации требований к ПО и устранения логических противоречий.