math-proof vs. Euclid-MCP
math-proof é um pacote de plugins para ferramentas de programação com IA publicado por Anthropic. Marketplaces que lemos e que o listam: 1 (Claude Code: claude-plugins-official). Euclid-MCP é um servidor MCP publicado por meob. Marketplaces que lemos e que o listam: 2 (Official MCP Registry, PyPI (MCP servers)). Conforme nossa passagem pelos marketplaces em 2026-10-25. 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 |  Euclid-MCP | |
|---|---|---|
| Claude Code: claude-plugins-official | Listado Versão: não informada Forks (GitHub): 4 643 Estrelas (GitHub): 44 178 Sem marcação · Visto pela primeira vez |
Não listado |
| Official MCP Registry | Não listado | Listado Versão: 0.4.5 Downloads por mês (PyPI): 369 Downloads por semana (PyPI): 111 Forks (GitHub): 0 Estrelas (GitHub): 7 Sem marcação · Visto pela primeira vez |
| PyPI (MCP servers) | Não listado | Listado Versão: 0.5.0 Downloads por mês (PyPI): 369 Downloads por semana (PyPI): 111 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 | math-proof | Euclid-MCP |
|---|---|---|
| Marketplaces que o listam (diferente) | 1 (pior) | 2 (melhor) |
| Estrelas (GitHub) (diferente) | 44 178 (melhor) | 7 (pior) |
| Forks (GitHub) (diferente) | 4 643 (melhor) | 0 (pior) |
| Último release | Não publicado | Não publicado |
| Onde roda (diferente) | Instala-se como pacote de plugins | Na sua máquina (euclid-mcp) |
| Transporte (diferente) | Não informado | stdio |
| Ferramentas que declara | Não publicado | Não publicado |
| Variáveis de ambiente que pede | Não publicado | Não publicado |
| Partes do pacote (diferente) | 5 | Não é um pacote |
| Licença (diferente) | Não informado | Apache-2.0 |
| Repositório (diferente) | github.com/anthropics/claude-plugins-official | github.com/meob/euclid-mcp |
| 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
math-proof
Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file; /math-proof:siege works on it for hours in rounds of judge and worker sub-agents and says plainly what is and is not proved.
Euclid-MCP
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Como executar cada um
math-proof Como plugin do Claude Code
/plugin install math-proof@claude-plugins-officialEuclid-MCP Como servidor MCP local: pacote PyPI
claude mcp add --transport stdio euclid-mcp -- uvx euclid-mcpComandos 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: math-proof · O que pode fazer: Euclid-MCP · Comparar outros dois plugins
Dados de Claude Code: claude-plugins-official. Dados de Official MCP Registry. Dados de PyPI (MCP servers). 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.