proofreader
Agentic LLM tool for pre-submission self-review of formal proof-based papers.
Plugin-Paket · von Bryan C. Ward
Überblick
proofreader ist ein Plugin-Paket für KI-Coding-Tools von Bryan C. Ward. Marktplätze, die wir lesen und die es listen: 1 (Community GitHub marketplaces). Wir haben es erstmals am 2026-10-14 gesehen und seither keine Änderung erfasst. Stand unseres Marktplatz-Durchlaufs vom 2026-10-14.
Was es abfragt
- Wird als Plugin-Paket installiert
Keiner der Marktplätze, die wir lesen, veröffentlicht seine Tools oder die abgefragten Einstellungen.
Was es deklariert, abfragt und ausführt, vollständig
Installieren Sie nur Plugins von Entwicklern, denen Sie vertrauen. Wir zeigen, was die Marktplätze veröffentlichen, und testen keine Plugins.
Funktioniert mit
- Claude Code
Nach den Marktplätzen, die ihn listen, und dem angegebenen MCP-Transport, wie jeder Client sie dokumentiert. Wir testen keine Plugins.
Verbinden
Befehle und Konfigurationen nur aus den Angaben der Marktplätze. Wir führen sie nicht für Sie aus und testen keine Plugins.
Als Claude-Code-Plugin
Erstellt aus den Angaben von Community GitHub marketplaces.
/plugin marketplace add binarybison/proofreader
/plugin install proofreader@binarybisonWo es veröffentlicht ist
| Marktplatz | Status | Version | Zahlen | Verifiziert | Erstmals gesehen |
|---|---|---|---|---|---|
| Community-Marktplatz binarybison/proofreader (Quelle auf GitHub öffnen) | Gelistet | 0.1.0 | Keine Zahl veröffentlicht | Nicht markiert |
Jede Zahl stammt vom jeweiligen Marktplatz und wird nie über Marktplätze hinweg addiert. Ein Marktplatz ohne veröffentlichte Zahl zeigt keine: keine Zahl ist nicht null.
In einem Community-Marktplatz gelistet
| Marktplatz | Repository | Sterne (GitHub) |
|---|---|---|
| binarybison | binarybison/proofreader | 10 |
Was das Paket enthält
So veröffentlicht auf Community GitHub marketplaces.
Skills: 5
annotate-latexaudit-proofevaluate-paperprepare-paper-contextwriteup-finding
Befehle: 3
diff-proofreadproofreadstress-test-defense
Agenten: 4
arbitrate-findingdefend-findingfind-counterexampleverify-restatement
Was sich geändert hat
- Wird seitdem als Produkt geführt
- Community GitHub marketplaces: erschienen
Ähnliche Plugins
Produkte, deren eigene Namen, Beschreibungen, Werkzeuge und Skills diesem der Bedeutung nach am nächsten sind, auf allen Marktplätzen, die wir lesen. Die Nähe ist nur innerhalb dieser Liste geordnet.
-
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.
Ähnliche Plugins nach Marktplatz
Dieselbe Frage an jeden Marktplatz einzeln: Gibt es dort ein Gegenstück zu diesem Plugin?
Gelistet auf 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…
Gelistet auf 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…
Gelistet auf 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…
Gelistet auf 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.
Gelistet auf 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.
Gelistet auf 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…
Gelistet auf 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.
Gelistet auf 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.
Gelistet auf 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.
Gelistet auf 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.
Nach Bedeutung gefunden, nicht über gemeinsamen Code oder ein gemeinsames Repository: Ähnliche Plugins bleiben getrennte Produkte, und dies ist weder eine Bewertung noch eine Empfehlung.
Ist das Ihr Plugin?
Fügen Sie es Ihren Projekten hinzu und belegen Sie, dass Sie es pflegen: mit einer Datei im Repository, einer Datei auf Ihrer Domain oder einem DNS-Eintrag. Sie erhalten Hinweise, wenn ein Marktplatz es aufnimmt, entfernt, sein Verified-Zeichen oder seine Anforderungen ändert, und sein Remote-Endpunkt wird wie ein Webdienst überwacht.
Daten von Community GitHub marketplaces. Die Zahlen stammen aus unseren eigenen regelmäßigen Durchläufen über die Marktplätze, zuletzt abgerufen am . Kontaktdaten von Plugin-Herausgebern veröffentlichen wir nicht.