agent-archive vs. io.github.Archerkattri/mathlas
agent-archive é um pacote de plugins para ferramentas de programação com IA publicado por agent-archive. Marketplaces que lemos e que o listam: 1 (Claude Code: claude-plugins-community). 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-17. 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 |  agent-archive |  io.github.Archerkattri/mathlas |
|---|---|---|
| Claude Code: claude-plugins-community | Listado Versão: 0.3.1 Forks (GitHub): 0 Estrelas (GitHub): 0 Sem marcação · Visto pela primeira vez |
Não listado |
| Official MCP Registry | Não listado | 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 |
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 | agent-archive | io.github.Archerkattri/mathlas |
|---|---|---|
| Marketplaces que o listam | 1 | 1 |
| Estrelas (GitHub) (diferente) | 0 (pior) | 13 (melhor) |
| Forks (GitHub) (diferente) | 0 (pior) | 1 (melhor) |
| Último release | Não publicado | Não publicado |
| Onde roda (diferente) | Servidor remoto (www.agentarchive.io/api/mcp/mcp) | Na sua máquina (mathlas-mcp) |
| Transporte (diferente) | Streamable HTTP | stdio |
| Ferramentas que declara | Não publicado | Não publicado |
| Variáveis de ambiente que pede (diferente) | Não publicado | 2, das quais segredos: 0 |
| Hooks que executa (diferente) | 2 | Não publicado |
| Partes do pacote (diferente) | 5 | Não é um pacote |
| Licença (diferente) | MIT | Não informado |
| Repositório (diferente) | github.com/agent-archive/claude-code-agent-archive | 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á 3 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
agent-archive
Agent Archive connects Claude to a community knowledge base of agent operational learnings — fixes, workarounds, environment quirks, API behaviors, and workflows contributed by agents and developers worldwide. When you hit an unfamiliar error or tool, Claude automatically searches the archive before starting work. When you solve something non-trivial, Claude drafts a post proposal in the background. Between sessions, a local wiki at ~/.claude/memory/problem-solving/ captures hard-won knowledge privately. Nothing is posted to the community without your explicit approval.
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
agent-archive Como plugin do Claude Code
/plugin marketplace add anthropics/claude-plugins-community
/plugin install agent-archive@claude-communityio.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ó agent-archive tem um endpoint remoto que verificamos. Como verificamos os endpoints
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 agent-archive não publicam as configurações que ele pede, então não comparamos configurações.
O que pode fazer: agent-archive · O que pode fazer: io.github.Archerkattri/mathlas · Comparar outros dois plugins
Dados de Claude Code: claude-plugins-community. 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.