Overfull plugin
Preflight for LaTeX papers and theses: checks references against indexes and reads the log, the PDF and venue rules.
- 101 ★ on the repository
- Last commit
- MIT
Extended access
Why this level
- Commands read project files, run LaTeX builds and query outside reference indexes.
- The hook and scripts can block `.bib` edits and commits.
Install
- Works in
In your terminal, with SkillFoxx CLI
npx skillfoxx add plugins/overfullDetects the agents on your machine, shows the access level and pins the version.
Other ways to install
Access and checks
How we reviewExtended accessThe tool runs code or makes network calls and only reads external data.
- Commands read project files, run LaTeX builds and query outside reference indexes.
- The hook and scripts can block `.bib` edits and commits.
This is third-party code. Review the repository files before installing.
What it does
Overfull answers three questions: does every reference exist and match its record, does the PDF show what was meant, and does the work meet the venue rules. Each `.bib` entry is checked against CrossRef, doi.org, arXiv, DBLP, Semantic Scholar, the ACL Anthology, Europe PMC and OpenAlex. Findings print one line per problem with file and line: `??` instead of a citation, a stale bibliography, margin text, missing fonts, an untagged PDF. Venue profiles cover NeurIPS, ICLR, ICML, CVPR, ECCV, AISTATS, AAAI, ACL, EMNLP, IEEE and ACM conferences and Springer LNCS: page limit, paper size, anonymity, AI-use disclosure and an unmodified style file. The checks are deterministic and need no AI. For agents `overfull init --here --agents` adds `AGENTS.md` and skills, and the agent adds references only through `overfull cite`.
Who it is for. Graduate students and authors of LaTeX papers who write by hand or with Claude Code and want to verify references and venue rules before submitting.
Good fit when
- Before a conference submission, references missing from indexes or a DOI pointing to another paper must be found.
- A thesis fails to build and the PDF shows question marks instead of citations.
- Venue compliance is checked on every pull request through the GitHub Action.
- An agent must not add invented entries to `.bib`; a hook blocks hand edits.
Not a fit when
- The work is not written in LaTeX; the checks target `.tex` and `.bib`.
- An assessment of scientific novelty or text editing is wanted; the tool neither writes nor judges content.
- The network is unavailable; reference checks use outside indexes.
Example request
Check my thesis with `overfull check`, list the reference and NeurIPS rule problems and fix the build without editing `.bib` files by hand.Limitations
Reference checks call outside indexes, so internet access is needed and service outages are possible. The tool never calls a reference fake: an entry is verified, differs from its record, was not found or could not be checked. The author notes that the monthly test on 124 real and 90 fabricated entries has no published result yet. Builds use a local TeX Live or Docker. The Beamer slide template cannot be tagged for accessibility. The code license is MIT.
How to disable. In Claude Code run `/plugin uninstall overfull`. The CLI itself goes with its install directory, and `overfull.yml` in a project can be deleted.
FAQ
How do I install Overfull in Claude Code?
With `/plugin install overfull --marketplace Amet13/overfull`: the plugin installs the skills, the hook and the MCP server in one step.
How do I install the CLI?
On Linux and macOS with `curl -fsSL https://amet13.github.io/overfull/install.sh | sh`, on Windows with `irm https://amet13.github.io/overfull/install.ps1 | iex`. The installer verifies the download against SHA256SUMS.
How do I add a reference so the entry is genuine?
With `overfull cite` and a DOI, arXiv id, ACL id or title: the entry is taken from an index. `overfull guard --staged` rejects a commit with a `.bib` entry that did not come that way.
Does it work with Overleaf?
Yes: download the project as a `.zip` and drop it on the browser check page, which uploads nothing. For ongoing checks sync the project to GitHub and add the Action.
Are there templates?
Three: thesis, paper and slides (`overfull init paper my-paper`). The first two produce a tagged PDF/UA-2 while Beamer slides cannot be tagged yet.
Discussion
No questions or reviews yet.
Related
PluginsChecks every reference of a paper against Crossref, dblp and arXiv before submission, with no language model in the verdicts.
Eight skills for LaTeX research papers, from topic to compiled PDF, with verified BibTeX citations and gated steps
A plugin that checks a LaTeX paper's layout on rendered pages, fixes the source and repeats until every page passes review
BibTeX Verifier checks .bib files against OpenAlex, CrossRef and DataCite and flags references with errors or invented data.
Takes an agent from a topic to an arXiv review paper in LaTeX IEEEtran: approved plan, every citation checked against a live source, PDF build
An Overleaf CLI that pulls LaTeX projects to a folder, pushes edits, compiles PDFs and exposes them to an agent through MCP
Comparison with similar tools
Cards that share the main search query, and how they differ.
| Tool | Official | Repository stars | Main difference |
|---|---|---|---|
| Overfull (this card) | no | 101 | |
| BibTeX Verifier | no | 144 | checks `.bib` files against OpenAlex, CrossRef and DataCite; Overfull adds log and PDF review, venue profiles and agent hooks |
| latex-paper-skills | no | 275 | eight skills for writing a LaTeX paper; Overfull only checks and writes no content |
README in short
Overfull replaced the earlier tex-thesis project. The repository is a monorepo: the checks core, a CLI with an MCP server, venue profiles as data, templates, skills and a corpus of failing documents that proves each log rule.