Два свежих открытых проекта с GitHub показывают, куда движется инфраструктура ИИ-агентов: Agent-Leaderboard ежедневно собирает таблицу лидеров для репозиториев, а Tuskira AI Agent Gateway добавляет шлюз для прав, журналов и вызовов инструментов.
Шесть свежих открытых проектов с GitHub показывают, куда движется практический ИИ: самостоятельные редакционные конвейеры, браузерные агенты, смысловой поиск по коду, проверки безопасности агентов, фермы Claude Code и учебник по проектированию систем.
Hugging Face вынесла оценку открытых голосовых моделей в отдельный Open TTS Leaderboard, а Bongard-mini показывает, что эксперименты с моделями на открытых весах продолжают дробиться на узкие проверяемые направления. В обоих случаях важна воспроизводимость, а не только громкий запуск.
Шесть свежих проектов на GitHub показывают, куда движется открытая агентная экосистема: от Suna с 20,2 тысячи звёзд до проверки кода, агентных навыков, памяти с типами и управления Unreal Editor.
Два свежих релиза из Hugging Face показывают, как открытая экосистема расширяется за пределы обычных чат-моделей: Holo4 нацелен на управление интерфейсами, кодом и инструментами, а NVIDIA Kumo Tabular переносит подход базовых моделей в табличные данные.
Пять свежих открытых проектов показывают, куда движутся AI-агенты: переносимая память, сжатие контекста, координация роёв, браузерная автоматизация и более дешёвые долгие сессии на DeepSeek.
На GitHub заметно растёт слой инфраструктуры для открытых ИИ-агентов: защищённые среды выполнения, постоянные рабочие пространства, память, наблюдаемость, графы знаний и комнаты для контроля человеком. Лидирует Astrid с 10,3 тыс. звёзд, но весь список показывает один тренд: открытый стек агентов взрослеет.
Hugging Face разобрал Laya AI: открытую модель для локальных структурированных решений с примерами запуска и планом проверки. Главная мысль — правильная форма ответа ещё не доказывает, что решение верное.
На Hacker News появился ProofForge — открытый проект для ИИ-агентов, которые должны выдавать формальные доказательства, проходящие проверку Lean. Важен не шум вокруг агентов, а проверяемый результат.
