proofreader
Agentic LLM tool for pre-submission self-review of formal proof-based papers.
Paquete de plugins · de Bryan C. Ward
Resumen
proofreader es un paquete de plugins para herramientas de programación con IA publicado por Bryan C. Ward. Marketplaces que leemos y que lo publican: 1 (Community GitHub marketplaces). Lo vimos por primera vez el 2026-10-14 y desde entonces no hemos registrado cambios. Según nuestra pasada por los marketplaces del 2026-10-14.
Qué pide
- Se instala como paquete de plugins
Ninguno de los marketplaces que leemos publica sus herramientas ni los ajustes que pide.
Lo que declara, pide y ejecuta, completo
Instale solo plugins de desarrolladores en los que confíe. Mostramos lo que publican los marketplaces y no probamos plugins.
Funciona con
- Claude Code
Según los marketplaces que lo listan y el transporte MCP que declara, tal como lo documenta cada cliente. No probamos plugins.
Conectar
Comandos y configuraciones generados solo a partir de lo que declaran sus marketplaces. No los ejecutamos por usted ni probamos plugins.
Como plugin de Claude Code
Generado a partir de lo que declara Community GitHub marketplaces.
/plugin marketplace add binarybison/proofreader
/plugin install proofreader@binarybisonDónde está publicado
| Marketplace | Estado | Versión | Cifras | Verificado | Visto por primera vez |
|---|---|---|---|---|---|
| Marketplace de la comunidad binarybison/proofreader (Abrir el código en GitHub) | Publicado | 0.1.0 | Sin cifra publicada | Sin marca |
Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.
Figura en un marketplace de la comunidad
| Marketplace | Repositorio | Estrellas (GitHub) |
|---|---|---|
| binarybison | binarybison/proofreader | 10 |
Qué contiene el paquete
Tal como se publica en Community GitHub marketplaces.
Skills: 5
annotate-latexaudit-proofevaluate-paperprepare-paper-contextwriteup-finding
Comandos: 3
diff-proofreadproofreadstress-test-defense
Agentes: 4
arbitrate-findingdefend-findingfind-counterexampleverify-restatement
Qué cambió
- Pasó a ser un producto que seguimos
- Community GitHub marketplaces: apareció
Plugins similares
Productos cuyos propios nombres, descripciones, herramientas y skills son los más cercanos a este por su significado, en todos los marketplaces que leemos. La cercanía se ordena solo dentro de esta lista.
-
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.
Plugins similares por marketplace
La misma pregunta a cada marketplace por separado: ¿hay allí un equivalente de este plugin?
Publicado en 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…
Publicado en 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…
Publicado en 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…
Publicado en 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.
Publicado en 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.
Publicado en 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…
Publicado en 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.
Publicado en 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.
Publicado en 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.
Publicado en 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.
Encontrados por significado, no por código ni repositorio compartidos: los plugins similares siguen siendo productos distintos, y esto no es una reseña ni una recomendación.
¿Es tu plugin?
Añádelo a tus proyectos y demuestra que lo mantienes con un archivo en su repositorio, un archivo en tu dominio o un registro DNS. Recibirás avisos cuando un marketplace lo publique, lo retire, cambie su marca verificada o lo que pide, y su endpoint remoto quedará monitorizado como un servicio web.
Datos de Community GitHub marketplaces. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.