exa vs. io.github.Archerkattri/mathlas
exa é um pacote de plugins para ferramentas de programação com IA publicado por exa-labs. Marketplaces que lemos e que o listam: 5 (Claude Code: claude-plugins-official, Official MCP Registry, Docker MCP Catalog, Claude: knowledge-work-plugins, Community GitHub marketplaces). io.github.Archerkattri/mathlas é um servidor MCP publicado por Archerkattri. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Conforme nossa passagem pelos marketplaces em 2026-10-21. 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 |  exa |  io.github.Archerkattri/mathlas |
|---|---|---|
| Claude Code: claude-plugins-official | Listado Versão: 3.4.1 Forks (GitHub): 402 Estrelas (GitHub): 5 158 Sem marcação · Visto pela primeira vez |
Não listado |
| Official MCP Registry | Listado Versão: 3.4.1 Forks (GitHub): 402 Estrelas (GitHub): 5 158 Sem marcação · Visto pela primeira vez |
Listado Versão: 1.5.0 Downloads por mês (PyPI): 268 Downloads por semana (PyPI): 46 Forks (GitHub): 1 Estrelas (GitHub): 13 Sem marcação · Visto pela primeira vez |
| Docker MCP Catalog | Listado Versão: sha256:d88edd571d98 Forks (GitHub): 402 Downloads (Docker Hub): 36 654 Estrelas (Docker Hub): 7 Estrelas (GitHub): 5 158 Sem marcação · Visto pela primeira vez |
Não listado |
| Claude: knowledge-work-plugins | Listado Versão: 3.4.1 Forks (GitHub): 402 Estrelas (GitHub): 5 158 Sem marcação · Visto pela primeira vez |
Não listado |
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 | exa | io.github.Archerkattri/mathlas |
|---|---|---|
| Marketplaces que o listam (diferente) | 5 (melhor) | 1 (pior) |
| Estrelas (GitHub) (diferente) | 5 158 (melhor) | 13 (pior) |
| Downloads (Docker Hub) (diferente) | 36 654 | Sem número no Docker Hub |
| Forks (GitHub) (diferente) | 402 (melhor) | 1 (pior) |
| Último release | Não publicado | Não publicado |
| Onde roda (diferente) | Servidor remoto ou sua máquina | Na sua máquina (mathlas-mcp) |
| Transporte (diferente) | Streamable HTTP, stdio | stdio |
| Ferramentas que declara (diferente) | 2 | Não publicado |
| Variáveis de ambiente que pede (diferente) | 1, das quais segredos: 1 | 2, das quais segredos: 0 |
| Partes do pacote (diferente) | 3 | Não é um pacote |
| Licença (diferente) | MIT | Não informado |
| Repositório (diferente) | github.com/exa-labs/exa-mcp-server | github.com/archerkattri/mathlas |
| Mudanças nos últimos 7 dias | 0 | 0 |
| Visto pela primeira vez | 2026-10-11 | 2026-10-11 |
| Endpoint na última verificação (diferente) | Respondeu há 5 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
exa
Exa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers, and more.
io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Como executar cada um
exa Como plugin do Claude Code
/plugin install exa@claude-plugins-officialio.github.Archerkattri/mathlas Como servidor MCP local: pacote PyPI
claude mcp add --transport stdio mathlas -- uvx mathlas-mcpComandos construídos apenas com o que os marketplaces declaram; o conjunto completo para cada cliente está no cartão de cada um.
Só exa tem um endpoint remoto que verificamos. Como verificamos os endpoints
Ferramentas que cada um declara
Os marketplaces de io.github.Archerkattri/mathlas não publicam lista de ferramentas, então não comparamos ferramentas.
Configurações que cada um pede
Só exa pede
EXA_API_KEY (secreta)
Só io.github.Archerkattri/mathlas pede
MATHLAS_INDEXMATHLAS_SEED
Configurações como cada marketplace as publica. Pedir menos não é melhor por si só.
O que pode fazer: exa · O que pode fazer: io.github.Archerkattri/mathlas · Comparar outros dois plugins
Dados de Claude Code: claude-plugins-official. Dados de Official MCP Registry. Dados de Docker MCP Catalog. Dados de Claude: knowledge-work-plugins. 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.