ai.spelunking/hub vs. io.github.4DA-Systems/4da-mcp-server
ai.spelunking/hub é um servidor MCP publicado por spelunking.ai. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). io.github.4DA-Systems/4da-mcp-server é um servidor MCP publicado por 4DA-Systems. Marketplaces que lemos e que o listam: 2 (Official MCP Registry, npm registry (MCP servers)). Conforme nossa passagem pelos marketplaces em 2026-10-29. 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 |  ai.spelunking/hub |  io.github.4DA-Systems/4da-mcp-server |
|---|---|---|
| Official MCP Registry | Listado Versão: 0.9.0 Forks (GitHub): 0 Estrelas (GitHub): 0 Sem marcação · Visto pela primeira vez |
Listado Versão: 6.2.5 Downloads por mês (npm): 2 241 Downloads por semana (npm): 156 Forks (GitHub): 0 Estrelas (GitHub): 0 Sem marcação · Visto pela primeira vez |
| npm registry (MCP servers) | Não listado | Listado Versão: 6.2.5 Downloads por mês (npm): 2 241 Downloads por semana (npm): 156 Forks (GitHub): 0 Estrelas (GitHub): 0 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 | ai.spelunking/hub | io.github.4DA-Systems/4da-mcp-server |
|---|---|---|
| Marketplaces que o listam (diferente) | 1 (pior) | 2 (melhor) |
| Estrelas (GitHub) (diferente) | 0 (pior) | 2 (melhor) |
| Forks (GitHub) | 0 | 0 |
| Último release (diferente) | 2026-10-25 (pior) | 2026-10-26 (melhor) |
| Onde roda (diferente) | Servidor remoto (spelunking.ai/mcp) | Na sua máquina (@4da/mcp-server) |
| Transporte (diferente) | Streamable HTTP | stdio |
| Ferramentas que declara | Não publicado | Não publicado |
| Variáveis de ambiente que pede | Não publicado | Não publicado |
| Licença (diferente) | Não informado | Apache-2.0 |
| Repositório (diferente) | github.com/minmaxnn/spelunking-agent | github.com/4da-systems/4da-mcp-server |
| Mudanças nos últimos 7 dias (diferente) | 3 | 2 |
| Visto pela primeira vez | 2026-10-11 | 2026-10-11 |
| Endpoint na última verificação (diferente) | Respondeu há 6 dias | 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
ai.spelunking/hub
Structure for hard AI decisions, and a human to escalate to when the structure runs out.
io.github.4DA-Systems/4da-mcp-server
Upgrade intelligence for AI agents: what an upgrade changes, where it touches your code, CVE scans.
Como executar cada um
ai.spelunking/hub Como servidor MCP remoto
claude mcp add --transport http hub https://spelunking.ai/mcpio.github.4DA-Systems/4da-mcp-server Como servidor MCP local: pacote npm
claude mcp add --transport stdio 4da-mcp-server -- npx -y @4da/mcp-serverComandos construídos apenas com o que os marketplaces declaram; o conjunto completo para cada cliente está no cartão de cada um.
Só ai.spelunking/hub tem um endpoint remoto que verificamos. Como verificamos os endpoints
Ferramentas que cada um declara
Os marketplaces de nenhum dos dois publicam uma lista de ferramentas, então não há o que comparar.
Configurações que cada um pede
Os marketplaces de nenhum dos dois publicam as configurações que ele pede.
O que pode fazer: ai.spelunking/hub · O que pode fazer: io.github.4DA-Systems/4da-mcp-server · Comparar outros dois plugins
Dados de Official MCP Registry. Dados de npm registry (MCP servers). 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.