ProverCoderAI

Public

Voir la chaîne

Vous ne pouvez pas rejoindre ? @ProverCoderAI

440 Membre

Mis à jour: July 11, 2026 at 12:21 PM

ProverCoderAI

Follow @ProverCoderAI to stay updated with the latest Codage & Programmation trends and news

Classement

Classement mondial

#456

Classement par langue

#45

Classement par catégorie

#23

-1

Croissance des abonnés (Les 2 derniers jours)

Total: 440

Croissance sur 24h: +141 47%

Derniers articles

ProverCoderAI

19 mai 2026, 03:18

Идея:
Превратить docker-git в новый общедоступный единный стандарт для кодинга которым смогут пользоваться как люди так и агенты

Например если OpenClaw хочет начать вести разработку то он использует docker-git потому что это единная среда для разработки в изолированных средах. OpenClaw вызывает docker-git агентов и ведёт разработку.

Работать с docker-git можно будет через CLI, API, MCP, SKILLS, Telegram и встраивать в любую систему где необходимо начать вести разработку


Текущая единая точка старта:
Авторизация github (или в будущем любую git подобной системы)
docker-git auth github login --web
После он создаёт у вас репозиторий .docker-git это мета информация которая будет содержать единную сессию docker-git

Потом вы авторизируете любимого агента для кодинга
docker-git auth codex login --web
docker-git auth claude login --web

И после можно переходить к автономной изолированной разработке:
docker-git clone https://github.com/ProverCoderAI/docker-git/issues/122 --force --mcp-playwright
Можно ещё использовать —auto версию
Напрмиер:
docker-git clone https://github.com/ProverCoderAI/docker-git/issues/122 --force --mcp-playwright --auto=codex
Тут он поднимет контейнр, откроект PR сделает работу и удалил контейнер, а вы сможете посмотреть работу в PR
Отличие от не "—auto" в том что обычно контейнер висит с SSH подключением и сам не начинает работу пока его не ткнуть

1,800

ProverCoderAI

19 mai 2026, 03:18

📷 Photo

Ещё разрабатываю docker-git. В чём суть? docker-git это тула которая просто клонирует любой git репозиторий в изолированное окружение, и сразу настраивает контейнер под разработку. Например у меня настроены из коробки git, gh, sudo(полный доступ), сodex, npm, bun, pnpm, mcp-playwright и тд. Cуть в том что я создаю изолированную среду с полным доступом к sudo для агента.
Сейчас как по моему это самый крутой проект который я видел для разработки. Конечно это пока MVP но мне удобно создавать PR решать PR могу клонировать issues могу делать в принципе что хочу. Могу просить агента полностью управлять моим github аккаунтом и всеми репозиториями. Могу попросить агента создать 10 sub docker-git агентов и дать им решать задачи, а он что бы был "надзерателем". Могу попросить агента сделать дамп базы данных поднять всё нужное ему окружение в docker-git контейнере что бы он решил e2e полностью задачую
https://github.com/ProverCoderAI/docker-git
Сейчас для docker-git я делаю скрап docker контейнеров прямо на гитхаб. Ес

734

ProverCoderAI

19 mai 2026, 03:18

Математик-программист.

1,700

ProverCoderAI

19 mai 2026, 03:18

📷 Photo

Интересная находка для меня.

Последнее время я работаю только с https://github.com/ProverCoderAI/docker-git/ и он решает все мои задачи.

Когда я разрабатываю сайты, то использую "--mcp-playwright", чтобы агент сам мог проанализировать, что сделал, но для себя я обычно заходил на сайт и смотрел вручную, работает ли логика, которую я хотел.

Недавно я решил поэкспериментировать и попросил агента загрузить "доказательство" выполнения работы — и получил скриншоты.

Он делает логику, заходит на сайт, смотрит и отправляет мне скриншоты, чтобы мне было достаточно просто прочитать PR и убедиться, что всё выполнено согласно тому, что я хотел.

1,440

ProverCoderAI

19 mai 2026, 03:18

Давно не было постов в группе...
Чем я занимался последнее время?

Переписал lovable-tagger теперь он OpenSource поддерживает NextJS и vite.config (Упоминал )
https://github.com/ProverCoderAI/component-tagger

Выпустил два effect-template:
https://github.com/ProverCoderAI/effect-template
https://github.com/ProverCoderAI/effect-eslint-template
В планах ещё было выпустить под Backend и Frontend разработку, а дальше делить на TMA, Telegram Bots и тд... Для всего реализовать "эффективные" темплейты для ИИ кодинга
Эти темплейты имеют фул настройку от разработки до деплоя на npmjs автоматически

Переписал мой SMB анализатор под Effect парадигму (Раньше его упоминал )
https://github.com/ProverCoderAI/eslint-plugin-suggest-members

Выпустил context-doc в OpenSource (пока с поддержкой: Codex, Claude Code, Qwen Code) (Раньше упоминал )
https://github.com/ProverCoderAI/context-doc

Выпустил тулу dist-deps-prune. Её суть в том что она просто чистит мусорные зависимости при деплое на npmjs и ломает деплой если находит зависимости из dist в devDependencies
https://github.com/ProverCoderAI/dist-deps-prune

Что сейчас разрабатываю:
openapi-effect https://github.com/ProverCoderAI/openapi-effect
Хочу что бы openapi возвращал мне удобно Effect<,,> и что бы не приходилось переписывать много кода переходя с openapi-fetch

Ещё разрабатываю docker-git. В чём суть? docker-git это тула которая просто клонирует любой git репозиторий в изолированное окружение, и сразу настраивает контейнер под разработку. Например у меня настроены из коробки git, gh, sudo(полный доступ), сodex, npm, bun, pnpm, mcp-playwright и тд. Cуть в том что я создаю изолированную среду с полным доступом к sudo для агента.
Сейчас как по моему это самый крутой проект который я видел для разработки. Конечно это пока MVP но мне удобно создавать PR решать PR могу клонировать issues могу делать в принципе что хочу. Могу просить агента полностью управлять моим github аккаунтом и всеми репозиториями. Могу попросить агента создать 10 sub docker-git агентов и дать им решать задачи, а он что бы был "надзерателем". Могу попросить агента сделать дамп базы данных поднять всё нужное ему окружение в docker-git контейнере что бы он решил e2e полностью задачую
https://github.com/ProverCoderAI/docker-git
Сейчас для docker-git я делаю скрап docker контейнеров прямо на гитхаб. Если мне надо могу делать бекапы контейнеров на гитхаб как либо чанкуя инфу по 99 мб либо сохраняя важные данные. Так же фикшу разные баги

ProverCoderAI

19 mai 2026, 03:18

#идея

Попробовать сделать плагин для VS Code (или другой IDE) который позволит выбирать один модуль (Класс, переменную) а всё остальное скрывать

Типо это такой фильтр по используемости этого модуля

И прямо в файловой системе

Т.е допустим вы выбрали class Test а у вас ещё в коде есть классов 10 то все остальные классы будут гореть не активными, а изменения можно будет проводить только в классе Test и в том где вызывается или содержится этот класс
Но опять же не во всех модулях, а только в местах где этот класс вызывается (Ну и примерно около него)


Для чего это надо?
Для быстрого визуального рефакторинга
Для большей простоты изменений кода

Сейчас если сказать LLMке иди исправь class Test то она без проблем может и затронуть class Test2
А тут только права редактирования и контекста выдаются на один модуль

+ это поможет рабоать в монолит приложениях

Допустим у меня есть модуль авторизации
Я выбираю только модуль авторизации, а всё что его не касается автоматически скрывается и стаёт не активным

780

ProverCoderAI

19 mai 2026, 03:18

📷 Photo

Сделал новую тулу

Чуть позже опубликую её в опен соурс (У меня телефон сломался, а там надо двух факторку)

Она сохраняет абсолютно все ваши диалоги с agent-coder (codex, qwen, claude) и ложит в папку с проектом

Тем самым в любой момент можно сослаться на старые диалоги

+ агент при поиске может сам подчерпнуть информацию со старых диалогов

+ это помогает отслежить как работают сотрудники

+ это помогает иметь абсолютно весь контекст связанный с разработкой проекта внутри проекта (И если смениться разработчик то будет проще в него вникнуть)

+ помогает одновременно работать с несколькими агентами и иметь единный контекст информации

Пока из поддержек сделано codex, qwen
Сейчас добавляю claude

Думаю стоит так же добавить Cursor, Windsurf, TraeAI, gemini-cli

1,220

ProverCoderAI

19 mai 2026, 03:18

Прикол Тут человек рассказывает буквально всё то про что я топлю Говорит, что язык "verse" будет мультипарадигменный с упором на функциональщину То что если компилятор говорит что код работает значит он и правду должен работать Упоминал он так же AI и говорил…

1,070

ProverCoderAI

19 mai 2026, 03:18

📷 Photo

Сделал проект который выгружает мета гит информаци (pull requests, release, comments, review, issues) в файл

Проект типо https://gitingest.com/
Только gitingest позволяет репу превращать в единный промт, а я тащу мета информацию

На репах где очень большое количество пул реквестов, коммитов обработка будет проходить долго

Поюзать можно тут:
https://provercoderai.github.io/gitmeta/

github - https://github.com/ProverCoderAI/gitmeta

685

ProverCoderAI

19 mai 2026, 03:18

📷 Photo

// QUOTE(TЗ): "<дословная цитата требования>"

1,230

Showing 10 of 10 posts

No more posts

Note

Connexion requise

Avis des utilisateurs (0)

Il n'y a pas encore d'avis. Soyez le premier à partager votre opinion !

Chaînes Telegram connexes

MÁY BÀO GAME KHUYẾN MÃII

BabylonDecoded Fr

1.2k0

Loading recommended channels...

ProverCoderAI

ProverCoderAI

Classement

Croissance des abonnés (Les 2 derniers jours)

Derniers articles

Note

Avis des utilisateurs (0)

Chaînes Telegram connexes

°̥̥̥̥̥̥̥̥、🕸• DUALITY | CF

МЁРДЫЧ

𝑾𝒐𝒍𝒇 𝑺𝒄𝒓𝒊𝒑𝒕

💻🛠 Programmation et tutos🛠💻

VipCode

Codex PBC

MÁY BÀO GAME KHUYẾN MÃII

BabylonDecoded Fr

Chaînes Telegram connexes

°̥̥̥̥̥̥̥̥、🕸• DUALITY | CF

МЁРДЫЧ

𝑾𝒐𝒍𝒇 𝑺𝒄𝒓𝒊𝒑𝒕

💻🛠 Programmation et tutos🛠💻

VipCode

Codex PBC

MÁY BÀO GAME KHUYẾN MÃII

BabylonDecoded Fr

Avis des utilisateurs (0)

Derniers articles