Skip to content

Как должна проходить разработка? #390

Closed

Description

@skulidropek

Я пишу issues
делаю docker-git clone issues --mcp-playright
codex
/plan ссылка на issues и прошу реализовать

Агент начинает задавать вопросы и уточнять ТЗ. Искать информацию в интернете (похожее я раньше пытался реализовать вот тут: https://github.com/ton-ai-core/contract-knowledge/blob/main/.cursorrules)
В конце плана должна выйти сторя (желательно в сторе иметь Prove(инварианты) проверяемости выполнения задачи) (Делаем такой SDD) Если я апрувлю план то с помощью инструмента https://github.com/ProverCoderAI/plan-to-git он уходит на гитхаб в PR (Что бы не терять память вообще)

Если план принялся то начинается разработка с помощью Codex
Codex пишет код, вызывает тесты, проверяет работоспособность. Если необходимо использует MCP Playright для проверки написанного кода

После того как он реализовал задачу он проверяет CI/CD и сверяет был ли код выполнен согласно инвариантов плана.

Так же он активно создаёт ToDos и использует subagents для работы

Activity

  1. skulidropek commented on Jun 9, 2026

    @skulidropek
    MemberAuthor

    Если мы исправляем какую-то проблему то всегда агент должен написать доказательство почему была проблема и как её решили
    Очень кратко

  2. skulidropek commented on Jun 9, 2026

    @skulidropek
    MemberAuthor

    Зачастую надо всегда просить ИИ агента доказать формальное решение проблемы

    (надо вообще подумать как парадигма должна выстраиваться, что бы можно было бы удобно формально что-то доказывать или делать вид что это доказывается формально)

  3. skulidropek commented on Jun 9, 2026

    @skulidropek
    MemberAuthor

    Нужны инструменты которые будут убивать дублирование кода, дублирование смысла

  4. added a commit that references this issue on Jun 10, 2026
  5. added a commit that references this issue on Jun 13, 2026
  6. added a commit that references this issue on Jun 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions