proofreader vs Overleaf (real-time)
proofreader is a plugin bundle for AI coding tools published by Bryan C. Ward. Marketplaces we read that list it: 1 (Community GitHub marketplaces). Overleaf (real-time) is a plugin bundle for AI coding tools published by Daniel Hou. Marketplaces we read that list it: 1 (Community GitHub marketplaces). As of our marketplace pass on 2026-10-16. This pair was picked by a reader, not by our comparison rule, so search engines are asked not to index the page.
Where each is published
| Marketplace | ||
|---|---|---|
| Community marketplace binarybison/proofreader | Listed Version: 0.1.0 Forks (GitHub): 2 Stars (GitHub): 10 Not marked · First seen |
Not listed |
| Community marketplace danielhou315/overleaf-mcp-rt | Not listed | Listed Version: 2.2.0 Forks (GitHub): 2 Stars (GitHub): 9 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 | proofreader | Overleaf (real-time) |
|---|---|---|
| Marketplaces that list it | 1 | 1 |
| Stars (GitHub) (differs) | 10 (better) | 9 (worse) |
| Forks (GitHub) | 2 | 2 |
| Last release | Not published | Not published |
| Where it runs | Installs as a plugin bundle | Installs as a plugin bundle |
| Transport | Not stated | Not stated |
| Tools it declares | Not published | Not published |
| Environment variables it asks for | Not published | Not published |
| Parts of the bundle (differs) | 12 | 7 |
| Licence (differs) | Not stated | AGPL-3.0-or-later |
| Repository (differs) | github.com/binarybison/proofreader | github.com/danielhou315/overleaf-mcp-rt |
| Changes in the last 7 days | 2 | 2 |
| First seen (differs) | 2026-10-14 | 2026-10-15 |
Lines where the two differ have a tinted background and bold values. Where the data itself says which value is better (more marketplaces, a larger figure of the same marketplace, a fresher release, a verified mark on a marketplace that lists both), the better one is also marked green with ▲ and the worse one red with ▼. Where it runs, the transport, the tools, the settings, hooks, the bundle's parts, the licence and the week's changes are marked only as different: more or fewer is not better in itself.
What each says it does
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.
How to run each
proofreader As a Claude Code plugin
/plugin marketplace add binarybison/proofreader
/plugin install proofreader@binarybisonOverleaf (real-time) As a Claude Code plugin
/plugin marketplace add danielhou315/overleaf-mcp-rt
/plugin install overleaf-mcp-rt@overleaf-mcp-rtCommands built only from what the marketplaces declare; the full set for every client is on each card.
Tools each declares
Neither one's marketplaces publish a list of tools, so there is nothing to compare.
Settings each asks for
Neither one's marketplaces publish the settings it asks for.
What it can do: proofreader · What it can do: Overleaf (real-time) · Compare two other plugins
Data comes from public marketplace files in GitHub repositories of their authors. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.