proofreader vs PaperDock
proofreader is no longer listed on any marketplace we read: these are its last known data, as of 2026‑10‑26.
proofreader is a plugin bundle for AI coding tools published by Bryan C. Ward. No marketplace we read lists it any more. PaperDock is an MCP server published by paperdock.dev. Marketplaces we read that list it: 1 (Official MCP Registry). As of our marketplace pass on 2026-10-27. A plugin in this pair is no longer listed on any marketplace we read, so search engines are asked not to index the page.
Where each is published
| Marketplace |  PaperDock | |
|---|---|---|
| Community marketplace binarybison/proofreader | Removed on 2026-10-26 Version: 0.1.0 Forks (GitHub): 2 Stars (GitHub): 10 Not marked · First seen |
Not listed |
| Official MCP Registry | Not listed | Listed Version: 0.10.0 No figure published Not marked · First seen |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
The facts side by side
| Fact | proofreaderno longer listed · | PaperDock |
|---|---|---|
| Marketplaces that list it (differs) | 0 | 1 |
| Stars (GitHub) (differs) | 10 | No figure on GitHub |
| Forks (GitHub) (differs) | 2 | No figure on GitHub |
| Last release (differs) | Not published | 2026-10-15 |
| Where it runs (differs) | Installs as a plugin bundle | Remote server (app.paperdock.dev/api/mcp) |
| Transport (differs) | Not stated | Streamable HTTP |
| Tools it declares | Not published | Not published |
| Environment variables it asks for | Not published | Not published |
| Parts of the bundle (differs) | 12 | Not a bundle |
| Licence | Not stated | Not stated |
| Repository (differs) | github.com/binarybison/proofreader | Not stated |
| Changes in the last 7 days (differs) | 2 | 0 |
| First seen (differs) | 2026-10-14 | 2026-10-11 |
| Endpoint at the last check (differs) | no remote endpoint we check | Not responding since 2026-10-25 |
Lines where the two differ have a tinted background and bold values. No value is marked better or worse: a plugin no marketplace lists any more is shown with its last known data, which we do not rank against current figures.
What to use instead of proofreader
Plugins still listed whose own names, descriptions, tools and skills are closest in meaning to it. Comparable, not endorsed.
-
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…
What each says it does
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.
How to run each
proofreader
No data for an automatic command: what its marketplaces declare does not say unambiguously how to connect it.
PaperDock As a remote MCP server
claude mcp add --transport http paperdock https://app.paperdock.dev/api/mcpCommands built only from what the marketplaces declare; the full set for every client is on each card.
Only PaperDock has a remote endpoint we check. How we check endpoints
Tools each declares
Neither the marketplaces of proofreader nor its endpoint list any tools, so we do not compare tools.
Settings each asks for
Neither one's marketplaces publish the settings it asks for.
What it can do: proofreader · What it can do: PaperDock · Compare two other plugins
Data comes from public marketplace files in GitHub repositories of their authors. Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.