Прямые конкуренты: Aviator Verify, Agent Audits, Proof Loop
Доказательство вместо слова: Aviator Verify, Agent Audits, Proof Loop
Когда я начал искать аналоги, было немного страшно: вдруг всё уже сделано. Оказалось — нет, но ниша точно живая.
Три инструмента ближе всего по духу: они тоже делают «готово» проверяемым, а не декларативным.
Aviator Verify Перехватывает намерение и критерии приёмки после реализации и прогоняет каждый критерий против запущенного кода — в preview-окружении или статическим анализом. На выходе отчёт с вердиктами и доказательствами. Есть инварианты на уровне аккаунта, которые применяются к каждому изменению.
Сильная сторона — runtime-проверка поведения. Отличие от WitnessDone: это проприетарный SaaS с фокусом на верификации отдельного изменения, а не на полном цикле.
Agent Audits Локальная папка .agent-audits/, агент привязывает доказательства к каждому критерию (AC-001), CLI-команда check пропускает работу, только если у каждого критерия есть проверенное доказательство.
Сильная сторона — лёгкость: простой гейт done. Отличие: это инструмент, а не методология — без волн, срезов, матрицы покрытия, NFR и ADR.
Proof Loop Протокол: spec freeze → build → evidence → fresh verify → fix. Ключевая идея — свежий верификатор: задача не закрыта, пока другая сессия агента не проверит каждый критерий и не запишет verdict.json с PASS.
Сильная сторона — защита от самопроверки. Отличие: протокол для одной задачи, а не фабрика полного цикла.
Что я из этого вынес Идею свежего верификатора и runtime-проверки мы честно берём в план развития WitnessDone. Об этом — в посте про слабые стороны.
Следующий пост — смежные SDD-инструменты с проверками: nspec, ATDD Toolkit, CodexSpec.
Читайте серию на arhellist.ru. https://arhellist.ru/blog/dokazatelstvo-vmesto-slova-aviator-verify-agent-audits-proof-loop/
