ArXiv vs proofreader
ArXiv is an MCP server published by jasonleinart. Marketplaces we read that list it: 1 (Docker MCP Catalog). proofreader is a plugin bundle for AI coding tools published by Bryan C. Ward. Marketplaces we read that list it: 1 (Community GitHub marketplaces). As of our marketplace pass on 2026-10-14. 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 |   ArXiv | |
|---|---|---|
| Docker MCP Catalog | Listed Version: sha256:6dc6bba6dfed Forks (GitHub): 8 Pulls (Docker Hub): 111 430 Stars (Docker Hub): 4 Stars (GitHub): 43 Not marked · First seen |
Not listed |
| Community marketplace binarybison/proofreader | Not listed | Listed Version: 0.1.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 | ArXiv | proofreader |
|---|---|---|
| Marketplaces that list it | 1 | 1 |
| Stars (GitHub) (differs) | 43 | No figure on GitHub |
| Pulls (Docker Hub) (differs) | 111 430 | No figure on Docker Hub |
| Forks (GitHub) (differs) | 8 | No figure on GitHub |
| Last release | Not published | Not published |
| Where it runs (differs) | On your machine (mcp/arxiv-mcp-server) | Installs as a plugin bundle |
| Transport (differs) | stdio | Not stated |
| Tools it declares (differs) | 4 | Not published |
| Environment variables it asks for (differs) | 1, secrets among them: 0 | Not published |
| Parts of the bundle (differs) | Not a bundle | 12 |
| Licence (differs) | Apache-2.0 | Not stated |
| Repository (differs) | github.com/jasonleinart/arxiv-mcp-server | github.com/binarybison/proofreader |
| Changes in the last 7 days (differs) | 1 | 2 |
| First seen (differs) | 2026-10-11 | 2026-10-14 |
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
ArXiv
The ArXiv MCP Server provides a comprehensive bridge between AI assistants and arXiv's research repository through the Model Context Protocol (MCP). Features: • Search arXiv papers with advanced filtering • Download and store papers locally as markdown • Read and analyze paper content • Deep research analysis prompts • Local paper management and storage • Enhanced tool descriptions optimized for local AI models • Docker MCP Gateway compatible with detailed context Perfect for researchers, academics, and AI assistants conducting literature reviews and research analysis. **Recent Update**: Enhanced tool descriptions specifically designed to resolve local AI model confusion and improve Docker MCP Gateway compatibility.
proofreader
Agentic LLM tool for pre-submission self-review of formal proof-based papers.
How to run each
ArXiv As a local MCP server: Docker image
claude mcp add --transport stdio arxiv-mcp-server -- docker run -i --rm mcp/arxiv-mcp-serverproofreader As a Claude Code plugin
/plugin marketplace add binarybison/proofreader
/plugin install proofreader@binarybisonCommands built only from what the marketplaces declare; the full set for every client is on each card.
Tools each declares
The marketplaces of proofreader publish no list of tools, so we do not compare tools.
Settings each asks for
The marketplaces of proofreader publish no settings it asks for, so we do not compare settings.
What it can do: ArXiv · What it can do: proofreader · Compare two other plugins
Data comes from the Docker MCP Catalog (desktop.docker.com/mcp/catalog) and Docker Hub. 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.