Overfull — плагин
Проверка LaTeX-статей и диссертаций перед отправкой: сверяет ссылки с базами, читает лог и PDF и правила конференций.
- 101 ★ репозитория
- Последний коммит
- MIT
Расширенный доступ
Почему такой уровень
- Команды читают файлы проекта, запускают сборку LaTeX и отправляют запросы во внешние индексы ссылок.
- Хук и скрипты могут блокировать правку `.bib` и коммиты.
Установка
- Работает в
В терминале, через SkillFoxx CLI
npx skillfoxx add plugins/overfullОпределит агенты на машине, покажет уровень доступа и зафиксирует версию.
Другие способы установки
Доступ и проверки
Как мы проверяемРасширенный доступИнструмент запускает код или ходит в сеть, а внешние данные только читает.
- Команды читают файлы проекта, запускают сборку LaTeX и отправляют запросы во внешние индексы ссылок.
- Хук и скрипты могут блокировать правку `.bib` и коммиты.
Это чужой код. Посмотрите файлы в репозитории перед установкой.
Что делает
Overfull отвечает на три вопроса: существуют ли все ссылки и совпадают ли они с записью, показывает ли PDF то, что задумано, укладывается ли работа в правила площадки. Каждая запись `.bib` сверяется с CrossRef, doi.org, arXiv, DBLP, Semantic Scholar, ACL Anthology, Europe PMC и OpenAlex. Замечания выводятся по строке на проблему с файлом и строкой: `??` вместо ссылки, устаревшая библиография, поля, шрифты, непомеченный PDF. Профили площадок покрывают NeurIPS, ICLR, ICML, CVPR, ECCV, AISTATS, AAAI, ACL, EMNLP, конференции IEEE и ACM, а также Springer LNCS: лимит страниц, размер бумаги, анонимность, раскрытие использования ИИ, нетронутый файл стиля. Проверки детерминированные и обходятся без ИИ. Для агентов команда `overfull init --here --agents` добавляет `AGENTS.md` и скиллы, а ссылки агент добавляет только через `overfull cite`.
Для кого. Аспирантам и авторам научных статей на LaTeX, которые пишут руками или с Claude Code и хотят перед отправкой убедиться в ссылках и правилах площадки.
Подходит, если
- Перед подачей на конференцию нужно найти ссылки, которых нет в базах, или DOI, ведущий на другую статью.
- Диплом падает с ошибками сборки, а в PDF остались знаки вопроса вместо ссылок.
- Проверка соответствия правилам площадки идет на каждый pull request через GitHub Action.
- Агент не должен вписывать в `.bib` выдуманные записи: хук блокирует ручную правку.
Не подходит, если
- Работа написана не в LaTeX: проверка рассчитана на `.tex` и `.bib`.
- Нужна оценка научной новизны или правка текста: инструмент не пишет и не оценивает содержание.
- Сеть недоступна: сверка ссылок идет через внешние индексы.
Пример запроса к агенту
Проверь мою диссертацию командой `overfull check`, выведи проблемы со ссылками и правилами NeurIPS и исправь сборку, не трогая файлы `.bib` вручную.Ограничения
Сверка ссылок обращается к внешним индексам, поэтому нужен интернет и возможны сбои сервисов. Инструмент не называет ссылку поддельной: запись получает статус подтвержденной, отличающейся от записи, не найденной или непроверяемой. Автор отмечает, что ежемесячный тест на 124 настоящих и 90 выдуманных записях еще не дал опубликованного результата. Сборка использует локальный TeX Live или Docker. Шаблон слайдов на Beamer нельзя пометить для доступности. Лицензия кода MIT.
Как отключить. В Claude Code выполните `/plugin uninstall overfull`. Сам CLI удаляется вместе с каталогом установки, а `overfull.yml` в проекте можно стереть.
Частые вопросы
Как поставить Overfull в Claude Code?
Командой `/plugin install overfull --marketplace Amet13/overfull`: плагин ставит скиллы, хук и MCP-сервер за один шаг.
Как поставить CLI?
На Linux и macOS скриптом `curl -fsSL https://amet13.github.io/overfull/install.sh | sh`, на Windows командой `irm https://amet13.github.io/overfull/install.ps1 | iex`. Установщик сверяет загрузку с SHA256SUMS.
Как добавить ссылку, чтобы запись была настоящей?
Командой `overfull cite` с DOI, номером arXiv, идентификатором ACL или названием: запись берется из индекса. `overfull guard --staged` отклоняет коммит с записью `.bib`, которая не прошла этот путь.
Работает ли с Overleaf?
Да: скачайте проект архивом `.zip` и перетащите его на страницу браузерной проверки, она ничего не загружает на сервер. Для постоянной проверки проект синхронизируют с GitHub и подключают Action.
Есть ли шаблоны?
Три: диссертация, статья и слайды (`overfull init paper my-paper`). Первые два дают размеченный PDF/UA-2, слайды на Beamer пока нельзя разметить.
Обсуждение
Вопросов и отзывов пока нет.
Похожие
ПлагиныСверяет каждую ссылку научной статьи с Crossref, dblp и arXiv до подачи, а вердикты выносит без участия языковой модели.
Набор из восьми скиллов для научных статей в LaTeX: от темы до PDF с проверенными ссылками BibTeX и поэтапным контролем
Плагин проверяет верстку LaTeX-статьи по отрисованным страницам, правит исходники и повторяет цикл до чистой проверки всех страниц
BibTeX Verifier сверяет файлы .bib с OpenAlex, CrossRef и DataCite и помечает ссылки с ошибками или выдуманными данными.
Скилл ведет агента от темы до обзорной статьи для arXiv в LaTeX IEEEtran: план на согласование, проверка каждой ссылки по живому источнику, сборка PDF
CLI для Overleaf: вытягивает проекты LaTeX в папку, отправляет правки, компилирует PDF и отдает их агенту через MCP
Сравнение с похожими
Карточки с тем же главным запросом: чем они отличаются.
| Инструмент | Официальный | Звезды репозитория | Главное отличие |
|---|---|---|---|
| Overfull (эта карточка) | нет | 101 | |
| BibTeX Verifier | нет | 143 | сверяет файлы `.bib` с OpenAlex, CrossRef и DataCite; Overfull добавляет разбор лога и PDF, профили площадок и хуки для агентов |
| latex-paper-skills | нет | 275 | восемь скиллов для написания статьи в LaTeX; Overfull только проверяет и не пишет содержание |
Коротко о README
Overfull заменил прежний проект tex-thesis. Репозиторий организован как монорепозиторий: ядро проверок, CLI с MCP-сервером, профили площадок как данные, шаблоны, скиллы и корпус сломанных документов, который доказывает каждое правило лога.