Для среды разработки Codex опубликован навык codex-bug-reproducer, предназначенный для автоматизированного поиска и верификации ошибок в коде. Инструмент анализирует контракты, переходы состояний и пути обработки ошибок, формируя список вероятных дефектов без необходимости предварительного составления баг-репорта. При этом система не опирается исключительно на статический анализ, что означает необходимость написания узконаправленных тестов для подтверждения каждой программной гипотезы.

Процесс работы выстроен вокруг концепции двойного подтверждения действий, что ограничивает автономность инструмента в пользу безопасности кодовой базы. На первом этапе навык ранжирует кандидатов по степени их влияния и запрашивает разрешение на создание тестового окружения. Только после успешной изоляции первопричины и падения теста по ожидаемому сценарию формируется отдельный запрос на внесение исправлений в рабочие файлы проекта, в результате чего исключаются несанкционированные модификации продакшен-кода.

Результатом выполнения становится отчет, содержащий минимальный код для воспроизведения ошибки, точную локализацию проблемы и статус исправления, например FIX_PROVEN или STILL_FAILING. Подобная архитектура сводит к минимуму количество ложных срабатываний, поскольку потенциальная уязвимость признается доказанным багом только при наличии подтвержденного перехода от красного состояния тестов к зеленому после применения патча.