Atlas Docs vs. Lean Axiom Provenance
Atlas Docs é um servidor MCP publicado por CartographAI. Marketplaces que lemos e que o listam: 1 (Docker MCP Catalog). Lean Axiom Provenance é um pacote de plugins para ferramentas de programação com IA publicado por zengineco. Marketplaces que lemos e que o listam: 1 (Community GitHub marketplaces). Conforme nossa passagem pelos marketplaces em 2026-10-15. Este par foi escolhido por um leitor, não pela nossa regra de comparação, por isso pedimos aos buscadores que não indexem a página.
Onde cada um é publicado
| Marketplace |  Atlas Docs |  Lean Axiom Provenance |
|---|---|---|
| Docker MCP Catalog | Listado Versão: sha256:4d235adb7498 Forks (GitHub): 5 Downloads (Docker Hub): 24 126 Estrelas (Docker Hub): 2 Estrelas (GitHub): 36 Sem marcação · Visto pela primeira vez |
Não listado |
| Marketplace da comunidade vince-gonzalez/gonzalgo | Não listado | Listado Versão: não informada Forks (GitHub): 0 Estrelas (GitHub): 2 Sem marcação · Visto pela primeira vez |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
Os fatos lado a lado
| Fato | Atlas Docs | Lean Axiom Provenance |
|---|---|---|
| Marketplaces que o listam | 1 | 1 |
| Estrelas (GitHub) (diferente) | 36 (melhor) | 2 (pior) |
| Downloads (Docker Hub) (diferente) | 24 126 | Sem número no Docker Hub |
| Forks (GitHub) (diferente) | 5 (melhor) | 0 (pior) |
| Último release | Não publicado | Não publicado |
| Onde roda (diferente) | Na sua máquina (mcp/atlas-docs) | Instala-se como pacote de plugins |
| Transporte (diferente) | stdio | Não informado |
| Ferramentas que declara (diferente) | 5 | Não publicado |
| Variáveis de ambiente que pede (diferente) | 1, das quais segredos: 0 | Não publicado |
| Partes do pacote (diferente) | Não é um pacote | 4 |
| Licença (diferente) | MIT | Apache-2.0 |
| Repositório (diferente) | github.com/cartographai/atlas-docs-mcp | github.com/zengineco/gonzalgo |
| Mudanças nos últimos 7 dias (diferente) | 0 | 2 |
| Visto pela primeira vez (diferente) | 2026-10-11 | 2026-10-14 |
As linhas em que os dois diferem têm fundo destacado e valores em negrito. Onde os próprios dados dizem qual valor é melhor (mais marketplaces, um número maior do mesmo marketplace, um release mais recente, uma marca verified em um marketplace que lista os dois), o melhor também é marcado em verde com ▲ e o pior em vermelho com ▼. Onde roda, o transporte, as ferramentas, as configurações, os hooks, as partes do pacote, a licença e as mudanças da semana são marcados apenas como diferentes: mais ou menos não é melhor por si só.
O que cada um diz que faz
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
Como executar cada um
Atlas Docs Como servidor MCP local: imagem Docker
claude mcp add --transport stdio atlas-docs -- docker run -i --rm mcp/atlas-docsLean Axiom Provenance Como plugin do Codex
codex plugin marketplace add vince-gonzalez/gonzalgoComandos construídos apenas com o que os marketplaces declaram; o conjunto completo para cada cliente está no cartão de cada um.
Ferramentas que cada um declara
Os marketplaces de Lean Axiom Provenance não publicam lista de ferramentas, então não comparamos ferramentas.
Configurações que cada um pede
Os marketplaces de Lean Axiom Provenance não publicam as configurações que ele pede, então não comparamos configurações.
O que pode fazer: Atlas Docs · O que pode fazer: Lean Axiom Provenance · Comparar outros dois plugins
Dados de Docker MCP Catalog. Dados de Community GitHub marketplaces. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.