Zotero Plugins Atlas
Plugins / Reading & PDFs

Theorem List

by ievlevpn · github.com/ievlevpn/zotero-theorem-list

Zotero plugin: lists theorems/lemmas/etc. from a PDF in the reader toolbar, with fuzzy search and jump-to

Reading & PDFsImport & metadataInterface & look
View source
Downloads a .xpi file (0.02 MB). In Zotero, open Tools → Plugins and install it from the file.
StarsPeople who starred the repository on GitHub: a rough measure of interest.
7
DownloadsAll-time downloads of its release files from GitHub. Installs from elsewhere aren't counted.
262
ContributorsPeople who have committed code to the repository.
1
LicenceThe licence the code is published under, as GitHub reports it.
None stated
A+
Atlas gradeRecommended
because every code check came out low, and our live test in Zotero found nothing unexpected
Applies to v0.7.2, released 31 Aug 2026Code checked · tested installed in Zotero 10.0.3 on 27 Sep 2026
What we found in the codeSets the gradeThe worst finding in these three areas sets the grade.
Code transparencyReadable code; not yet checked against the published sourceThe developer uploaded the release file from the ievlevpn account. We haven't yet checked whether this file matches the public source code.UnknownWe couldn't check this yet.
Updates
Updates come from this project's GitHub repositoryThe update address offers this version
Where your data goesNo web requests foundLowLow concern: normal for plugins that do this job. Listed so you know.
No further detail for this area yet.
Powerful capabilitiesUses the clipboardLowLow concern: normal for plugins that do this job. Listed so you know.
Uses the clipboardlowLow concern.
Before you installShown, not gradedFacts to help you decide. They don't change the grade.
Works withZotero 7, 8, 9, 10 · not 11 betaUpdates automatically
Zotero 7 ✓ worksZotero 8 ✓ worksZotero 9 ✓ worksZotero 10 ✓ worksZotero 11 beta ✗ doesn't work
What you'll needNothing extra detectedDetected automatically from its code
No further detail for this area yet.
MaintenanceActive · last release 31 Aug 20261 contributor
No further detail for this area yet.
LanguagesDocumentation in EnglishInterface language not declared
No further detail for this area yet.
We report what we found in the code. Open any area for the evidence.How we gradeReport a problem

What it does

Description coming soon. We haven't written a summary yet. The line above is the developer's own description; the developer's README is linked above.

What you'll need

Detected automatically

We haven't detected any setup requirements. That isn't the same as none: check the developer's README.

Where your data goes

We found: no web requests found.

Forks and alternatives

No forks listed.

Plugins for the same job
  • NoteroReading & PDFs · Files, sync & backupA+Recommended, tested in Zotero
  • Google Scholar Citation CountCiting & writing · Import & metadataA+Recommended, tested in Zotero
  • Bionic for ZoteroReading & PDFsA+Recommended, tested in Zotero
  • ZotLitReading & PDFs · Citing & writingA+Recommended, tested in Zotero

The developer's response

The developer hasn't responded. Developers can reply here, and their reply sits next to our findings.I'm the developer
Install Theorem List
A+Recommended, tested in Zotero
  1. 1Download the plugin fileDownload v0.7.2.xpi · 0.02 MB
  2. 2In Zotero, open Tools › Plugins
  3. 3Click the gear, choose Install Plugin From File… and pick the file
Step-by-step guide with pictures