Atlas Docs или Lean Axiom Provenance
Atlas Docs: MCP-сервер, издатель CartographAI. Витрин, которые мы читаем и где он опубликован: 1 (Docker MCP Catalog). Lean Axiom Provenance: пакет плагинов для ИИ-инструментов разработки, издатель zengineco. Витрин, которые мы читаем и где он опубликован: 1 (Community GitHub marketplaces). Данные нашего прохода по витринам на 2026-10-15. Эту пару выбрал читатель, а не наше правило сравнений, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  Atlas Docs |  Lean Axiom Provenance |
|---|---|---|
| Docker MCP Catalog | Опубликован Версия: sha256:4d235adb7498 Форки (GitHub): 5 Загрузки (Docker Hub): 24 129 Звёзды (Docker Hub): 2 Звёзды (GitHub): 36 Не помечен · Впервые замечен |
Нет на витрине |
| Маркетплейс сообщества vince-gonzalez/gonzalgo | Нет на витрине | Опубликован Версия: не указана Форки (GitHub): 0 Звёзды (GitHub): 2 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | Atlas Docs | Lean Axiom Provenance |
|---|---|---|
| Витрины, где он есть | 1 | 1 |
| Звёзды (GitHub) (различается) | 36 (лучше) | 2 (хуже) |
| Загрузки (Docker Hub) (различается) | 24 129 | Нет цифры на Docker Hub |
| Форки (GitHub) (различается) | 5 (лучше) | 0 (хуже) |
| Последний релиз | Не опубликовано | Не опубликовано |
| Где работает (различается) | На вашем компьютере (mcp/atlas-docs) | Ставится как пакет плагинов |
| Транспорт (различается) | stdio | Не указано |
| Объявляет инструментов (различается) | 5 | Не опубликовано |
| Просит переменных окружения (различается) | 1, из них секретов: 0 | Не опубликовано |
| Части набора (различается) | Не набор | 4 |
| Лицензия (различается) | MIT | Apache-2.0 |
| Репозиторий (различается) | github.com/cartographai/atlas-docs-mcp | github.com/zengineco/gonzalgo |
| Изменения за последние 7 дней (различается) | 0 | 2 |
| Впервые замечен (различается) | 2026-10-11 | 2026-10-14 |
Строки, где значения различаются, выделены фоном и жирным. Где сами данные говорят, какое значение лучше (больше витрин, большая цифра одной и той же витрины, более свежий релиз, отметка verified на витрине, где есть оба), лучшее дополнительно отмечено зелёным и ▲, худшее красным и ▼. Где работает, транспорт, инструменты, настройки, hooks, части набора, лицензия и изменения за неделю отмечены только как различие: больше или меньше само по себе не лучше.
Что каждый говорит о себе
Atlas Docs
Provide LLMs hosted, clean markdown documentation of libraries and frameworks.
Lean Axiom Provenance
Find out what a Lean 4 project rests on and why — inherited sorry, native_decide, and which step introduced an axiom
Как запустить каждый
Atlas Docs Как локальный MCP-сервер: образ Docker
claude mcp add --transport stdio atlas-docs -- docker run -i --rm mcp/atlas-docsLean Axiom Provenance Как плагин Codex
codex plugin marketplace add vince-gonzalez/gonzalgoКоманды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Какие инструменты объявляет каждый
Витрины Lean Axiom Provenance не публикуют список инструментов, поэтому инструменты не сравниваем.
Какие настройки просит каждый
Витрины Lean Axiom Provenance не публикуют, какие настройки он просит, поэтому настройки не сравниваем.
Что умеет: Atlas Docs · Что умеет: Lean Axiom Provenance · Сравнить два других плагина
Данные витрины Docker MCP Catalog. Данные витрины Community GitHub marketplaces. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.