flow-lean или ProofGraph (Antigravity MCP)
flow-lean: пакет плагинов для ИИ-инструментов разработки, издатель Florian Bruniaux. Витрин, которые мы читаем и где он опубликован: 1 (Community GitHub marketplaces). ProofGraph (Antigravity MCP): MCP-сервер, издатель AI-BuildInfra. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Данные нашего прохода по витринам на 2026-10-23. Эту пару выбрал читатель, а не наше правило сравнений, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  ProofGraph (Antigravity MCP) | |
|---|---|---|
| Маркетплейс сообщества florianbruniaux/flow-lean | Опубликован Версия: 0.3.3 Форки (GitHub): 1 Звёзды (GitHub): 21 Не помечен · Впервые замечен |
Нет на витрине |
| Official MCP Registry | Нет на витрине | Опубликован Версия: 1.0.0 Форки (GitHub): 0 Звёзды (GitHub): 1 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | flow-lean | ProofGraph (Antigravity MCP) |
|---|---|---|
| Витрины, где он есть | 1 | 1 |
| Звёзды (GitHub) (различается) | 21 (лучше) | 1 (хуже) |
| Форки (GitHub) (различается) | 1 (лучше) | 0 (хуже) |
| Последний релиз | Не опубликовано | Не опубликовано |
| Где работает (различается) | Ставится как пакет плагинов | Не указано |
| Транспорт | Не указано | Не указано |
| Объявляет инструментов | Не опубликовано | Не опубликовано |
| Просит переменных окружения | Не опубликовано | Не опубликовано |
| Части набора (различается) | 1 | Не набор |
| Лицензия | Не указано | Не указано |
| Репозиторий (различается) | github.com/florianbruniaux/flow-lean | github.com/ai-buildinfra/proof-graph |
| Изменения за последние 7 дней (различается) | 2 | 0 |
| Впервые замечен (различается) | 2026-10-18 | 2026-10-11 |
Строки, где значения различаются, выделены фоном и жирным. Где сами данные говорят, какое значение лучше (больше витрин, большая цифра одной и той же витрины, более свежий релиз, отметка verified на витрине, где есть оба), лучшее дополнительно отмечено зелёным и ▲, худшее красным и ▼. Где работает, транспорт, инструменты, настройки, hooks, части набора, лицензия и изменения за неделю отмечены только как различие: больше или меньше само по себе не лучше.
Что каждый говорит о себе
flow-lean
Model-agnostic output control for concise, action-first answers with proof and risk preserved.
ProofGraph (Antigravity MCP)
Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.
Как запустить каждый
flow-lean Как плагин Claude Code
/plugin marketplace add florianbruniaux/flow-lean
/plugin install flow-lean@flow-leanProofGraph (Antigravity MCP)
Нет данных для автоматической команды: из того, что объявляют витрины, нельзя однозначно понять, как его подключить.
Команды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Какие инструменты объявляет каждый
Витрины ни одного из них не публикуют список инструментов, сравнивать нечего.
Какие настройки просит каждый
Витрины ни одного из них не публикуют настройки, которые он просит.
Что умеет: flow-lean · Что умеет: ProofGraph (Antigravity MCP) · Сравнить два других плагина
Данные витрины Community GitHub marketplaces. Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.