Экс-глава GitHub создал сервис для разработчиков и их армии ИИ-агентов