io.github.ark-forge/prove-it vs. io.github.kakarot-dev/deepmiro
io.github.ark-forge/prove-it é um servidor MCP publicado por ark-forge. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). io.github.kakarot-dev/deepmiro é um servidor MCP publicado por kakarot-dev. Marketplaces que lemos e que o listam: 3 (Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces). Conforme nossa passagem pelos marketplaces em 2026-10-18. 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 |  io.github.ark-forge/prove-it |  io.github.kakarot-dev/deepmiro |
|---|---|---|
| Official MCP Registry | Listado Versão: 0.1.0 Downloads por mês (PyPI): 0 Downloads por semana (PyPI): 89 Forks (GitHub): 0 Estrelas (GitHub): 0 Sem marcação · Visto pela primeira vez |
Listado Versão: 0.1.2 Downloads por mês (npm): 306 Downloads por semana (npm): 42 Forks (GitHub): 0 Estrelas (GitHub): 7 Sem marcação · Visto pela primeira vez |
| Claude Code: claude-plugins-community | Não listado | Listado Versão: 1.7.0 Forks (GitHub): 0 Estrelas (GitHub): 7 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 | io.github.ark-forge/prove-it | io.github.kakarot-dev/deepmiro |
|---|---|---|
| Marketplaces que o listam (diferente) | 1 (pior) | 3 (melhor) |
| Estrelas (GitHub) (diferente) | 0 (pior) | 7 (melhor) |
| Forks (GitHub) | 0 | 0 |
| Último release | Não publicado | Não publicado |
| Onde roda (diferente) | Na sua máquina (proveit-mcp) | Na sua máquina (deepmiro-mcp) |
| Transporte | stdio | stdio |
| Ferramentas que declara | Não publicado | Não publicado |
| Variáveis de ambiente que pede (diferente) | 1, das quais segredos: 0 | 3, das quais segredos: 1 |
| Hooks que executa (diferente) | Não publicado | 1 |
| Partes do pacote (diferente) | Não é um pacote | 3 |
| Licença (diferente) | Não informado | AGPL-3.0 |
| Repositório (diferente) | github.com/ark-forge/proveit-mcp | github.com/kakarot-dev/deepmiro |
| Mudanças nos últimos 7 dias | 2 | 2 |
| Visto pela primeira vez (diferente) | 2026-10-12 | 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
io.github.ark-forge/prove-it
Free public benchmark for AI agents: compliance tasks, every claim checked against signed receipts
io.github.kakarot-dev/deepmiro
Simulate hundreds of AI agents to predict how communities react to events and policies
Como executar cada um
io.github.ark-forge/prove-it Como servidor MCP local: pacote PyPI
claude mcp add --transport stdio prove-it -- uvx proveit-mcpio.github.kakarot-dev/deepmiro Como servidor MCP local: pacote npm
claude mcp add --env "DEEPMIRO_API_KEY=<YOUR_DEEPMIRO_API_KEY>" --transport stdio deepmiro -- npx -y deepmiro-mcpExige: DEEPMIRO_API_KEY (secreta)
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
Só io.github.ark-forge/prove-it pede
PROVEIT_MCP_HOME
Só io.github.kakarot-dev/deepmiro pede
DEEPMIRO_API_KEY (secreta)DEEPMIRO_APP_URLDEEPMIRO_VIA_PLUGINMIROFISH_URL
Configurações como cada marketplace as publica. Pedir menos não é melhor por si só.
O que pode fazer: io.github.ark-forge/prove-it · O que pode fazer: io.github.kakarot-dev/deepmiro · Comparar outros dois plugins
Dados de Official MCP Registry. Dados de Claude Code: claude-plugins-community. 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.