Amazon Web Services представила масштабное обновление своего AI-инструмента Kiro, ориентированного на «разработку по спецификациям» (spec-driven development). Главная цель релиза — устранить разрыв между архитектурным планированием и написанием кода, не жертвуя скоростью.

Математика против галлюцинаций: Requirements Analysis

Ключевое нововведение — движок Requirements Analysis. В отличие от обычных LLM, которые просто предсказывают следующее слово, Kiro теперь использует трехэтапный нейросимволический конвейер:

1. LLM переписывает размытые требования пользователя в проверяемые критерии.
2. Эти критерии переводятся в формальную логику.
3. Логика подается в SMT-решатель (Satisfiability Modulo Theories) — движок автоматического рассуждения.

На практике это означает, что если в вашем ТЗ на первой странице указано «жесткое удаление данных», а на десятой — «мягкое», SMT-решатель обнаружит математическое противоречие еще до того, как будет написана первая строчка кода. Kiro подсветит конфликт на человеческом языке, экономя часы на дебаг архитектурных ошибок.

Параллельное выполнение и Quick Plan

Для тех, кто ценит скорость (velocity), AWS внедрила Parallel Task Execution. Раньше Kiro выполнял задачи последовательно. Теперь инструмент анализирует граф зависимостей проекта и запускает генерацию независимых модулей (например, разных эндпоинтов или файлов без общего стейта) одновременно.

Также появился режим Quick Plan. Он предназначен для опытных разработчиков, которые уже четко понимают рамки проекта и хотят пропустить избыточные шаги подтверждения, характерные для стандартного воркфлоу Kiro.

Что это значит для вайбкодеров

Kiro становится мощным «архитектором-контролером» в связке с привычными инструментами вроде Cursor или Windsurf. Если раньше AI-агенты могли уверенно писать код, основанный на противоречивых инструкциях, то Kiro привносит в процесс строгую верификацию. Это критически важно для сложных enterprise-систем, где цена ошибки в логике бизнес-процессов слишком высока.