autoform или GitHub
autoform: пакет плагинов для ИИ-инструментов разработки, издатель Vivien Cabannes. Витрин, которые мы читаем и где он опубликован: 1 (Community GitHub marketplaces). GitHub: MCP-сервер, издатель github. Витрин, которые мы читаем и где он опубликован: 2 (Official MCP Registry, Docker MCP Catalog). Данные нашего прохода по витринам на 2026-10-22. Эту пару выбрал читатель, а не наше правило сравнений, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  GitHub | |
|---|---|---|
| Маркетплейс сообщества facebookresearch/autoform-bot | Опубликован Версия: 0.6.0 Форки (GitHub): 32 Звёзды (GitHub): 124 Не помечен · Впервые замечен |
Нет на витрине |
| Official MCP Registry | Нет на витрине | Опубликован Версия: 2.0.3 Форки (GitHub): 5 201 Звёзды (GitHub): 33 829 Не помечен · Впервые замечен |
| Docker MCP Catalog | Нет на витрине | Опубликован Версия: sha256:250bc6ce7078 Форки (GitHub): 5 201 Звёзды (GitHub): 33 829 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | autoform | GitHub |
|---|---|---|
| Витрины, где он есть (различается) | 1 (хуже) | 2 (лучше) |
| Звёзды (GitHub) (различается) | 124 (хуже) | 33 829 (лучше) |
| Форки (GitHub) (различается) | 32 (хуже) | 5 201 (лучше) |
| Последний релиз (различается) | 2026-10-22 (лучше) | 2026-10-22 (хуже) |
| Где работает (различается) | Ставится как пакет плагинов | Удалённый сервер или ваш компьютер |
| Транспорт (различается) | Не указано | Streamable HTTP, stdio |
| Объявляет инструментов (различается) | Не опубликовано | 40 |
| Просит переменных окружения (различается) | Не опубликовано | 1, из них секретов: 1 |
| Части набора (различается) | 9 | Не набор |
| Лицензия (различается) | Не указано | MIT |
| Репозиторий (различается) | github.com/facebookresearch/autoform-bot | github.com/github/github-mcp-server |
| Изменения за последние 7 дней (различается) | 4 | 3 |
| Впервые замечен (различается) | 2026-10-18 | 2026-10-11 |
| Endpoint на последней проверке (различается) | нет remote endpoint, который мы проверяем | Ответил 5 дн. назад, требует ключ |
Строки, где значения различаются, выделены фоном и жирным. Где сами данные говорят, какое значение лучше (больше витрин, большая цифра одной и той же витрины, более свежий релиз, отметка verified на витрине, где есть оба), лучшее дополнительно отмечено зелёным и ▲, худшее красным и ▼. Где работает, транспорт, инструменты, настройки, hooks, части набора, лицензия и изменения за неделю отмечены только как различие: больше или меньше само по себе не лучше.
Что каждый говорит о себе
autoform
Set up, plan, publish, prove, and review Lean formalizations as linked Markdown nodes checked through Lean LSP and REPL.
GitHub
Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.
Как запустить каждый
autoform Как плагин Claude Code
/plugin marketplace add facebookresearch/autoform-bot
/plugin install autoform@autoformGitHub Как удалённый MCP-сервер
claude mcp add --transport http github-mcp-server https://api.githubcopilot.com/mcp/ --header "Authorization: Bearer <YOUR_TOKEN>"Требует: заголовок Authorization
Команды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Remote endpoint, который мы проверяем, есть только у GitHub. Как мы проверяем endpoint
Какие инструменты объявляет каждый
Витрины autoform не публикуют список инструментов, поэтому инструменты не сравниваем.
Какие настройки просит каждый
Витрины autoform не публикуют, какие настройки он просит, поэтому настройки не сравниваем.
Что умеет: autoform · Что умеет: GitHub · Сравнить два других плагина
Данные витрины Community GitHub marketplaces. Данные витрины Official MCP Registry. Данные витрины Docker MCP Catalog. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.