@brutalist/mcp vs. LeanWarp
@brutalist/mcp é um servidor MCP publicado por @brutalist. Marketplaces que lemos e que o listam: 1 (npm registry (MCP servers)). LeanWarp é um servidor MCP publicado por Isagoge-Labs. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Conforme nossa passagem pelos marketplaces em 2026-11-09. 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 |  LeanWarp | |
|---|---|---|
| npm registry (MCP servers) | Listado Versão: 1.18.10 Downloads por mês (npm): 675 Downloads por semana (npm): 135 Forks (GitHub): 5 Estrelas (GitHub): 15 Sem marcação · Visto pela primeira vez |
Não listado |
| Official MCP Registry | Não listado | Listado Versão: 0.2.5 Forks (GitHub): 0 Estrelas (GitHub): 5 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 | @brutalist/mcp | LeanWarp |
|---|---|---|
| Marketplaces que o listam | 1 | 1 |
| Estrelas (GitHub) (diferente) | 15 (melhor) | 5 (pior) |
| Forks (GitHub) (diferente) | 5 (melhor) | 0 (pior) |
| Último release | Não publicado | Não publicado |
| Onde roda (diferente) | Na sua máquina (@brutalist/mcp) | Na sua máquina (leanwarp) |
| Transporte (diferente) | Não informado | stdio |
| Ferramentas que declara | Não publicado | Não publicado |
| Variáveis de ambiente que pede (diferente) | Não publicado | 1, das quais segredos: 1 |
| Licença (diferente) | MIT | Não informado |
| Repositório (diferente) | github.com/ejmockler/brutalist-mcp | github.com/isagoge-labs/leanwarp-sdk |
| Mudanças nos últimos 7 dias (diferente) | 0 | 2 |
| Visto pela primeira vez (diferente) | 2026-10-12 | 2026-11-06 |
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
@brutalist/mcp
Deploy Claude Code, Codex & Antigravity (agy) CLI agents to demolish your work before users do. Real file analysis. Brutal honesty. Per-call model pinning, conversation continuation & intelligent pagination.
LeanWarp
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
Como executar cada um
@brutalist/mcp
Sem dados para um comando automático: o que os marketplaces declaram não diz de forma inequívoca como conectá-lo.
LeanWarp Como servidor MCP local: pacote PyPI
claude mcp add --env "LEANWARP_API_KEY=<YOUR_LEANWARP_API_KEY>" --transport stdio leanwarp -- uvx leanwarp --project "<YOUR_PROJECT>" mcpExige: LEANWARP_API_KEY (secreta), --project
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 @brutalist/mcp não publicam as configurações que ele pede, então não comparamos configurações.
O que pode fazer: @brutalist/mcp · O que pode fazer: LeanWarp · Comparar outros dois plugins
Dados de npm registry (MCP servers). Dados de Official MCP Registry. 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.