proofreader
Agentic LLM tool for pre-submission self-review of formal proof-based papers.
Пакет плагинов · от Bryan C. Ward
Коротко
proofreader: пакет плагинов для ИИ-инструментов разработки, издатель Bryan C. Ward. Витрин, которые мы читаем и где он опубликован: 1 (Community GitHub marketplaces). Мы впервые увидели его 2026-10-14 и с тех пор изменений не фиксировали. Данные нашего прохода по витринам на 2026-10-14.
Что просит
- Ставится как пакет плагинов
Ни одна из витрин, которые мы читаем, не публикует его инструменты или настройки, которые он просит.
Что объявляет, просит и запускает, полностью
Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.
Работает с
- Claude Code
По маркетплейсам, где он опубликован, и объявленному транспорту MCP, как их документирует каждый клиент. Плагины мы не тестируем.
Подключить
Команды и конфигурации собраны только из того, что объявляют витрины. Мы не запускаем их за вас и не проверяем плагины.
Как плагин Claude Code
Собрано из того, что объявляет Community GitHub marketplaces.
/plugin marketplace add binarybison/proofreader
/plugin install proofreader@binarybisonГде опубликован
| Витрина | Статус | Версия | Числа | Проверен | Впервые замечен |
|---|---|---|---|---|---|
| Маркетплейс сообщества binarybison/proofreader (Открыть исходники на GitHub) | Опубликован | 0.1.0 | Число не опубликовано | Не помечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Есть в одном маркетплейсе сообщества
| Витрина | Репозиторий | Звёзды (GitHub) |
|---|---|---|
| binarybison | binarybison/proofreader | 10 |
Что входит в пакет
Так опубликовано на витрине Community GitHub marketplaces.
Скиллы: 5
annotate-latexaudit-proofevaluate-paperprepare-paper-contextwriteup-finding
Команды: 3
diff-proofreadproofreadstress-test-defense
Агенты: 4
arbitrate-findingdefend-findingfind-counterexampleverify-restatement
Что менялось
- Стал продуктом, за которым мы следим
- Community GitHub marketplaces: появился
Похожие плагины
Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.
-
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.
Похожие плагины по витринам
Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?
Есть на витрине 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…
Есть на витрине 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…
Есть на витрине 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…
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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…
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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.
Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.
Это ваш плагин?
Добавьте плагин в свои проекты и докажите, что поддерживаете его: файлом в репозитории, файлом на вашем домене или DNS-записью. Вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, а его удалённый endpoint встанет на мониторинг как веб-сервис.
Данные витрины Community GitHub marketplaces. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.