com.correctover/mcp-server vs. io.github.4DA-Systems/4da-mcp-server
com.correctover/mcp-server é um servidor MCP publicado por correctover.com. 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-24. 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 | ||
|---|---|---|
| Official MCP Registry | Listado Versão: 1.2.3 Downloads por mês (npm): 977 Downloads por semana (npm): 162 Sem marcação · Visto pela primeira vez |
Listado Versão: 6.2.4 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.4 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 | com.correctover/mcp-server | io.github.4DA-Systems/4da-mcp-server |
|---|---|---|
| Marketplaces que o listam (diferente) | 1 (pior) | 2 (melhor) |
| Estrelas (GitHub) (diferente) | Sem número no GitHub | 2 |
| Forks (GitHub) (diferente) | Sem número no GitHub | 0 |
| Último release (diferente) | Não publicado | 2026-10-12 |
| Onde roda (diferente) | Na sua máquina (correctover-mcp-server) | Na sua máquina (@4da/mcp-server) |
| Transporte | stdio | 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/correctover/mcp-server | github.com/4da-systems/4da-mcp-server |
| Mudanças nos últimos 7 dias | 0 | 0 |
| Visto pela primeira vez | 2026-10-11 | 2026-10-11 |
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
com.correctover/mcp-server
MCP runtime security. 22µs validation, 97% self-healing. Detects RCE, SSRF, credential hijacking.
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
com.correctover/mcp-server Como servidor MCP local: pacote npm
claude mcp add --transport stdio com-correctover-mcp-server -- npx -y correctover-mcp-server
io.github.4DA-Systems/4da-mcp-server Como servidor MCP local: pacote npm
claude mcp add --transport stdio 4da-mcp-server -- npx -y @4da/mcp-server
Comandos 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 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: com.correctover/mcp-server · 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.