proofreader vs. Overleaf (real-time)
proofreader é um pacote de plugins para ferramentas de programação com IA publicado por Bryan C. Ward. Marketplaces que lemos e que o listam: 1 (Community GitHub marketplaces). Overleaf (real-time) é um pacote de plugins para ferramentas de programação com IA publicado por Daniel Hou. Marketplaces que lemos e que o listam: 1 (Community GitHub marketplaces). 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 | ||
|---|---|---|
| Marketplace da comunidade binarybison/proofreader | Listado Versão: 0.1.0 Forks (GitHub): 2 Estrelas (GitHub): 10 Sem marcação · Visto pela primeira vez |
Não listado |
| Marketplace da comunidade danielhou315/overleaf-mcp-rt | Não listado | Listado Versão: 2.2.0 Forks (GitHub): 2 Estrelas (GitHub): 9 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 | proofreader | Overleaf (real-time) |
|---|---|---|
| Marketplaces que o listam | 1 | 1 |
| Estrelas (GitHub) (diferente) | 10 (melhor) | 9 (pior) |
| Forks (GitHub) | 2 | 2 |
| Último release | Não publicado | Não publicado |
| Onde roda | Instala-se como pacote de plugins | Instala-se como pacote de plugins |
| Transporte | Não informado | Não informado |
| 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) | 12 | 7 |
| Licença (diferente) | Não informado | AGPL-3.0-or-later |
| Repositório (diferente) | github.com/binarybison/proofreader | github.com/danielhou315/overleaf-mcp-rt |
| Mudanças nos últimos 7 dias | 2 | 2 |
| Visto pela primeira vez (diferente) | 2026-10-14 | 2026-10-15 |
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
proofreader
Agentic LLM tool for pre-submission self-review of formal proof-based papers.
Overleaf (real-time)
Edit Overleaf projects live alongside human collaborators. Bundles the overleaf-mcp-rt MCP server (self-hosted Overleaf and overleaf.com) with skills for setup, safe co-editing, LaTeX workflow and review comments. Use when asked to read, write, review or compile anything on Overleaf.
Como executar cada um
proofreader Como plugin do Claude Code
/plugin marketplace add binarybison/proofreader
/plugin install proofreader@binarybisonOverleaf (real-time) Como plugin do Claude Code
/plugin marketplace add danielhou315/overleaf-mcp-rt
/plugin install overleaf-mcp-rt@overleaf-mcp-rtComandos 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: proofreader · O que pode fazer: Overleaf (real-time) · Comparar outros dois 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.