proofreader
Agentic LLM tool for pre-submission self-review of formal proof-based papers.
Plugin bundle · by Bryan C. Ward
About
proofreader is a plugin bundle for AI coding tools published by Bryan C. Ward. Marketplaces we read that list it: 1 (Community GitHub marketplaces). We first saw it on 2026-10-14 and have recorded no change since. As of our marketplace pass on 2026-10-14.
What it asks for
- Installs as a plugin bundle
None of the marketplaces we read publishes its tools or the settings it asks for.
What it declares, asks for and runs, in full
Only install plugins from developers you trust. We list what marketplaces publish and do not test plugins.
Works with
- Claude Code
From the marketplaces that list it and the MCP transport it declares, as each client documents them. We do not test plugins.
Connect
Commands and configs built only from what its marketplaces declare. We do not run them for you and do not test plugins.
As a Claude Code plugin
Built from what Community GitHub marketplaces declares.
/plugin marketplace add binarybison/proofreader
/plugin install proofreader@binarybisonWhere it is published
| Marketplace | Status | Version | Figures | Verified | First seen |
|---|---|---|---|---|---|
| Community marketplace binarybison/proofreader (Open the source on GitHub) | Listed | 0.1.0 | No figure published | Not marked |
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.
Listed in one community marketplace
| Marketplace | Repository | Stars (GitHub) |
|---|---|---|
| binarybison | binarybison/proofreader | 10 |
What the bundle contains
As published on Community GitHub marketplaces.
Skills: 5
annotate-latexaudit-proofevaluate-paperprepare-paper-contextwriteup-finding
Commands: 3
diff-proofreadproofreadstress-test-defense
Agents: 4
arbitrate-findingdefend-findingfind-counterexampleverify-restatement
What changed
- Became a product we track
- Community GitHub marketplaces: appeared
Similar plugins
Products whose own names, descriptions, tools and skills are closest in meaning to this one, on every marketplace we read. Closeness is ranked within this list only.
-
Apply an Obelus review bundle to your paper source. Format-agnostic (LaTeX, Markdown, Typst), offline, minimal-diff.
-
Checks every LaTeX reference against Crossref, dblp, arXiv, DataCite, PubMed and OpenAlex. No LLM.
-
Academic paper review and writing improvement skills for Claude Code
-
Audits LaTeX citations, cited-source metadata, and claim-to-source alignment.
-
Verify academic citations, find real papers, and export BibTeX.
-
Pertinence review for \cite references in LaTeX using parallel haiku scoring against InspireHEP and arXiv abstracts.
-
Document skills: build and gate LaTeX papers, markdown-to-PDF renders and talk decks, scaffold a research paper, and run a pre-submission novelty review.
-
Simulated peer reviews of your own paper in a venue's review form, plus venue forms and deadlines.
-
LaTeX editor for AI agents: live PDF preview, PDF comments that drive edits, git history
-
Overleaf MCP server for Claude, Codex, ChatGPT, and Cursor with safe LaTeX editing and review.
Similar plugins by marketplace
The same question asked of one marketplace at a time: is there an analog of this plugin there?
Has a listing on Claude Code: claude-plugins-community (5)
-
Deep Review is a Claude Code plugin for rigorous review of papers and technical artifacts. Aiming to reduce "edit volume" for researchers and paper-reviewers, it adds a skill that…
-
Automated academic paper review system for Claude Code. Integrates PDF parsing (marker-pdf + PyMuPDF), reference verification (CrossRef + DBLP + Semantic Scholar), SOTA…
-
Deep academic paper analysis with bilingual (English/Chinese) output. Analyzes research papers from PDF paths, pasted text, or arXiv links, producing structured five-section…
-
Claude Code skill that verifies BibTeX entry content against Google Scholar and CrossRef.
-
Thesis-polish helps Chinese undergraduate students improve the naturalness and readability of their academic writing. It rewrites AI-assisted or mechanically-written thesis drafts…
Has a listing on Claude Code: claude-plugins-official (5)
-
Tools to maintain and improve CLAUDE.md files - audit quality, capture session learnings, and keep project memory current.
-
Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file…
-
Official Carbone skill — complete templating language reference covering tags, loops, conditions, formatters, aggregators, and all output formats (DOCX, XLSX, PPTX, ODT, HTML…
-
Work in your GC AI legal knowledge base from Claude: upload documents, run review playbooks, and ask questions grounded in your own files, all as you.
-
Interactive self-referential AI loops for iterative development, implementing the Ralph Wiggum technique. Claude works on the same task repeatedly, seeing its previous work, until…
Has a listing on Claude: knowledge-work-plugins (5)
-
Official Carbone skill — complete templating language reference covering tags, loops, conditions, formatters, aggregators, and all output formats (DOCX, XLSX, PPTX, ODT, HTML…
-
Work in your GC AI legal knowledge base from Claude: upload documents, run review playbooks, and ask questions grounded in your own files, all as you.
-
Connect to preclinical research tools and databases (literature search, genomics analysis, target prioritization) to accelerate early-stage life sciences R&D
-
Speed up contract review, NDA triage, and compliance workflows for in-house legal teams. Draft legal briefs, organize precedent research, and manage institutional knowledge.
-
Discover your brand voice from existing documents and conversations, generate enforceable guidelines, and validate AI-generated content against your established tone and…
Has a listing on Codex: openai-curated (openai/plugins) (5)
-
Work with Zotero from Codex: search your library, export BibTeX, insert citations, and import references through the Zotero desktop app.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Notion workflows for implementation planning, research synthesis, meeting preparation, and knowledge capture.
-
AI-powered code review in Codex, powered by CodeRabbit.
-
Use Google Drive as the single entrypoint for Drive, Docs, Sheets, and Slides work.
Has a listing on Community GitHub marketplaces (5)
-
Apply an Obelus review bundle to your paper source. Format-agnostic (LaTeX, Markdown, Typst), offline, minimal-diff.
-
Checks every LaTeX reference against Crossref, dblp, arXiv, DataCite, PubMed and OpenAlex. No LLM.
-
Academic paper review and writing improvement skills for Claude Code
-
Audits LaTeX citations, cited-source metadata, and claim-to-source alignment.
-
Verify academic citations, find real papers, and export BibTeX.
Has a listing on Copilot CLI: github/awesome-copilot (5)
-
A runtime-portable 5-agent quality gate that adjudicates text artifacts before they ship. Five role-conditioned LLM deliberators run a 2-round async protocol with cross-read…
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
-
Compose and refine launch-ready release notes with contributor callouts and export-friendly output.
-
Generate professional project documentation with draw.io architecture diagrams and Word (.docx) output with embedded images. Automatically discovers any project's technology stack…
-
Draw simple diagrams in a Copilot canvas: shapes, arrows that stay attached, text and a freehand pen. Copilot can read, create and edit the same drawing, tidy its layout, and…
Has a listing on Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
workiq
Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
-
workiq-productivity
WorkIQ productivity skills powered by the local WorkIQ CLI — read-only insights across email, meetings, calendar, Teams, SharePoint, projects, and people.
-
Advanced Security plugin for GitHub Copilot.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
Has a listing on Cursor: cursor/plugins (5)
-
Generate presentations, documents, and webpages.
-
Search highlights and Reader documents, save articles.
-
Search, create, and update documents and daily notes.
-
Consult a stronger model before major decisions, when stuck, and before declaring done.
-
Render PR diffs as review canvases grouped by importance.
Has a listing on Docker MCP Catalog (5)
-
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…
-
MCP, CLI, Skills for searching and downloading academic papers from multiple sources like arXiv, PubMed, bioRxiv, etc.
-
Production-ready RAG service to search and retrieve data from your documents.
-
Real-time web search, reasoning, and research through Perplexity's API
-
Tools for interacting with Hugging Face models, datasets, research papers, and more.
Has a listing on Official MCP Registry (5)
-
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 review form, plus venue forms and deadlines.
-
LaTeX editor for AI agents: live PDF preview, PDF comments that drive edits, git history
-
Overleaf MCP server for Claude, Codex, ChatGPT, and Cursor with safe LaTeX editing and review.
-
Verify academic citations against real databases. Catches hallucinated references, exports BibTeX.
Found by meaning, not by shared code or a shared repository: similar plugins stay separate products, and this is not a review or a recommendation.
Is this your plugin?
Add it to your projects and prove you maintain it with a file in its repository, a file on your domain or a DNS record. You get alerts when a marketplace lists it, drops it, changes its verified mark or what it asks for, and its remote endpoint goes on monitoring as a web service.
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.