You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Если план принялся то начинается разработка с помощью Codex
Codex пишет код, вызывает тесты, проверяет работоспособность. Если необходимо использует MCP Playright для проверки написанного кода
После того как он реализовал задачу он проверяет CI/CD и сверяет был ли код выполнен согласно инвариантов плана.
Так же он активно создаёт ToDos и использует subagents для работы
Зачастую надо всегда просить ИИ агента доказать формальное решение проблемы
(надо вообще подумать как парадигма должна выстраиваться, что бы можно было бы удобно формально что-то доказывать или делать вид что это доказывается формально)
Activity
skulidropek commentedon Jun 9, 2026
Если мы исправляем какую-то проблему то всегда агент должен написать доказательство почему была проблема и как её решили
Очень кратко
skulidropek commentedon Jun 9, 2026
Зачастую надо всегда просить ИИ агента доказать формальное решение проблемы
(надо вообще подумать как парадигма должна выстраиваться, что бы можно было бы удобно формально что-то доказывать или делать вид что это доказывается формально)
skulidropek commentedon Jun 9, 2026
Нужны инструменты которые будут убивать дублирование кода, дублирование смысла
docs: codify SDD development process
Initial commit with task details
Merge pull request #392 from konard/issue-390-5cc8c59392dd