GitMCP vs. Lean Axiom Provenance
GitMCP é um servidor MCP publicado por docker. 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 |  Lean Axiom Provenance | |
|---|---|---|
| Docker MCP Catalog | Listado Versão: não informada Nenhum número publicado 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 | GitMCP | Lean Axiom Provenance |
|---|---|---|
| Marketplaces que o listam | 1 | 1 |
| Estrelas (GitHub) (diferente) | Sem número no GitHub | 2 |
| Forks (GitHub) (diferente) | Sem número no GitHub | 0 |
| Último release | Não publicado | Não publicado |
| Onde roda (diferente) | Servidor remoto (gitmcp.io/docs) | Instala-se como pacote de plugins |
| Transporte (diferente) | Streamable HTTP | Não informado |
| Ferramentas que declara (diferente) | 5 | Não publicado |
| Variáveis de ambiente que pede | Não publicado | Não publicado |
| Partes do pacote (diferente) | Não é um pacote | 4 |
| Licença | Apache-2.0 | Apache-2.0 |
| Repositório (diferente) | Não informado | github.com/zengineco/gonzalgo |
| Mudanças nos últimos 7 dias (diferente) | 0 | 2 |
| Visto pela primeira vez (diferente) | 2026-10-11 | 2026-10-14 |
| Endpoint na última verificação (diferente) | Respondeu há 29 h | sem endpoint remoto que verificamos |
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
GitMCP
Tools for interacting with Git repositories.
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
GitMCP Como servidor MCP remoto
claude mcp add --transport http gitmcp https://gitmcp.io/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.
Só GitMCP tem um endpoint remoto que verificamos. Como verificamos os endpoints
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 nenhum dos dois publicam as configurações que ele pede.
O que pode fazer: GitMCP · 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.