ProverCoderAI
393 subscribers
19 photos
1 file
23 links
Download Telegram
Идея:
Превратить 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://tg-me.sbs/itafishatbs)
4. Заходить во все публичные сообщества айтишные/вайбкодерские/бизнесовые в соцсетях и писать о себе (главное не боятся. надо всех задолбать собой и показать что вы ищите работу)

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

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

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

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

В комментарии кидайте другие каналы по вайбкодингу или по поиску работы которые я не упомянул в посте
👍205🔥5🙏1
ProverCoderAI
Не типичный пост для группы, но хочу обсудить проблемы поиска работы Многие жалуются что не могут найти работу и их никуда не берут (даже с учётом того что у них есть хороший опыт) Хочу написать решения которые я вижу: 1. Пилить какие-то проекты в OpenSource(ну…
Vladimir_Chikaidze_CV.pdf
106.9 KB
Скоро выложу пост про разработку телеграм ботов

А пока напишу, что тоже нахожусь в поиске работы (Буду полностью проходить путь который описал выше)

Вообще заинтересован в компаниях, которые делают вайбкодинг платформы либо пытаются перенести свою команду на AI First стек

Мне интересно выстраивать ai coding пай-плайны для разработки

Мой гитхаб: https://github.com/skulidropek
Сейчас у меня почти 9к комитов
Я не отхожу от Codex вообще 😁😁
👍542👏1