proofreader vs. PaperDock
proofreader não está mais listado em nenhum marketplace que lemos: estes são os últimos dados conhecidos, de 2026‑10‑26.
proofreader é um pacote de plugins para ferramentas de programação com IA publicado por Bryan C. Ward. Nenhum marketplace que lemos o lista mais. PaperDock é um servidor MCP publicado por paperdock.dev. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Conforme nossa passagem pelos marketplaces em 2026-10-26. Um plugin deste par não está mais listado em nenhum marketplace que lemos, por isso pedimos aos buscadores que não indexem a página.
Onde cada um é publicado
| Marketplace |  PaperDock | |
|---|---|---|
| Marketplace da comunidade binarybison/proofreader | Removido em 2026-10-26 Versão: 0.1.0 Forks (GitHub): 2 Estrelas (GitHub): 10 Sem marcação · Visto pela primeira vez |
Não listado |
| Official MCP Registry | Não listado | Listado Versão: 0.10.0 Nenhum número publicado 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 | proofreadernão está mais listado · | PaperDock |
|---|---|---|
| Marketplaces que o listam (diferente) | 0 | 1 |
| Estrelas (GitHub) (diferente) | 10 | Sem número no GitHub |
| Forks (GitHub) (diferente) | 2 | Sem número no GitHub |
| Último release (diferente) | Não publicado | 2026-10-15 |
| Onde roda (diferente) | Instala-se como pacote de plugins | Servidor remoto (app.paperdock.dev/api/mcp) |
| Transporte (diferente) | Não informado | Streamable HTTP |
| 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 | Não é um pacote |
| Licença | Não informado | Não informado |
| Repositório (diferente) | github.com/binarybison/proofreader | Não informado |
| Mudanças nos últimos 7 dias (diferente) | 2 | 0 |
| Visto pela primeira vez (diferente) | 2026-10-14 | 2026-10-11 |
| Endpoint na última verificação (diferente) | sem endpoint remoto que verificamos | Sem resposta desde 2026-10-25 |
As linhas em que os dois diferem têm fundo destacado e valores em negrito. Nenhum valor é marcado como melhor ou pior: um plugin que nenhum marketplace lista mais aparece com os últimos dados conhecidos, que não comparamos com números atuais.
O que usar no lugar de «proofreader»
Plugins ainda listados cujos nomes, descrições, ferramentas e skills são os mais próximos em significado. Comparáveis, não recomendados.
-
Checks every LaTeX reference against Crossref, dblp, arXiv, DataCite, PubMed and OpenAlex. No LLM.
-
Simulated peer reviews of your own paper in a venue's form, with an inline review card in chat.
-
Flag hallucinated references, authors and bib items in any paper — your own draft before submitting, or one you are reviewing — and correct badly formatted ones. Resolves every…
-
12 specialist agents and 30 writing principles for academic writing review, research, drafting, polishing, bibliography auditing, and literature surveys, coordinated by a…
-
Academic paper review, writing improvement and recommendation-letter skills for Claude Code
-
Modular 8-stage paper writing workflow: Planning → Literature → Writing → Citations → Figures → Review → Revision → Submission. Combines nature-skills + ARS + Omniscale best…
O que cada um diz que faz
proofreader
Agentic LLM tool for pre-submission self-review of formal proof-based papers.
PaperDock
Overleaf alternative online LaTeX editor. AI agents edit, comment, and chat. Keep or revert edits.
Como executar cada um
proofreader
Sem dados para um comando automático: o que os marketplaces declaram não diz de forma inequívoca como conectá-lo.
PaperDock Como servidor MCP remoto
claude mcp add --transport http paperdock https://app.paperdock.dev/api/mcpComandos construídos apenas com o que os marketplaces declaram; o conjunto completo para cada cliente está no cartão de cada um.
Só PaperDock tem um endpoint remoto que verificamos. Como verificamos os endpoints
Ferramentas que cada um declara
Nem os marketplaces de proofreader nem seu endpoint listam ferramentas, então não comparamos ferramentas.
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: PaperDock · Comparar outros dois plugins
Dados de Community GitHub marketplaces. 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.