ProofFlow или BLEA
ProofFlow: MCP-сервер, издатель Hyperion-GPU. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). BLEA: MCP-сервер, издатель Nitmi. Витрин, которые мы читаем и где он опубликован: 2 (Official MCP Registry, Copilot CLI: github/awesome-copilot). Данные нашего прохода по витринам на 2026-10-16. Эту пару выбрал читатель, а не наше правило сравнений, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  ProofFlow |  BLEA |
|---|---|---|
| Official MCP Registry | Опубликован Версия: 0.1.2 Загрузки за месяц (PyPI): 93 Загрузки за неделю (PyPI): 26 Форки (GitHub): 1 Звёзды (GitHub): 7 Не помечен · Впервые замечен |
Опубликован Версия: 0.7.0 Загрузки за месяц (PyPI): 423 Загрузки за неделю (PyPI): 51 Форки (GitHub): 0 Звёзды (GitHub): 11 Не помечен · Впервые замечен |
| Copilot CLI: github/awesome-copilot | Нет на витрине | Опубликован Версия: 0.6.1 Форки (GitHub): 0 Звёзды (GitHub): 11 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | ProofFlow | BLEA |
|---|---|---|
| Витрины, где он есть (различается) | 1 (хуже) | 2 (лучше) |
| Звёзды (GitHub) (различается) | 7 (хуже) | 11 (лучше) |
| Форки (GitHub) (различается) | 1 (лучше) | 0 (хуже) |
| Последний релиз | Не опубликовано | Не опубликовано |
| Где работает (различается) | На вашем компьютере (proofflow-mcp) | На вашем компьютере (blea) |
| Транспорт | stdio | stdio |
| Объявляет инструментов | Не опубликовано | Не опубликовано |
| Просит переменных окружения (различается) | 2, из них секретов: 1 | Не опубликовано |
| Части набора (различается) | Не набор | 2 |
| Лицензия (различается) | Не указано | MIT |
| Репозиторий (различается) | github.com/hyperion-gpu/proofflow-v0.1 | github.com/nitmi/blea |
| Изменения за последние 7 дней | 0 | 0 |
| Впервые замечен | 2026-10-11 | 2026-10-11 |
Строки, где значения различаются, выделены фоном и жирным. Где сами данные говорят, какое значение лучше (больше витрин, большая цифра одной и той же витрины, более свежий релиз, отметка verified на витрине, где есть оба), лучшее дополнительно отмечено зелёным и ▲, худшее красным и ▼. Где работает, транспорт, инструменты, настройки, hooks, части набора, лицензия и изменения за неделю отмечены только как различие: больше или меньше само по себе не лучше.
Что каждый говорит о себе
ProofFlow
Audit infrastructure for AI coding agents with evidence-backed review and policy gates.
BLEA
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
Как запустить каждый
ProofFlow Как локальный MCP-сервер: пакет PyPI
claude mcp add --env "PROOFFLOW_API_KEY=<YOUR_PROOFFLOW_API_KEY>" --transport stdio proofflow -- uvx proofflow-mcpТребует: PROOFFLOW_API_KEY (секрет)
BLEA Как локальный MCP-сервер: пакет PyPI
claude mcp add --transport stdio blea -- uvx blea mcpКоманды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Какие инструменты объявляет каждый
Витрины ни одного из них не публикуют список инструментов, сравнивать нечего.
Какие настройки просит каждый
Витрины BLEA не публикуют, какие настройки он просит, поэтому настройки не сравниваем.
Что умеет: ProofFlow · Что умеет: BLEA · Сравнить два других плагина
Данные витрины Official MCP Registry. Данные витрины Copilot CLI: github/awesome-copilot. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.