Menu
Update the research paper collection — download new papers from references.bib, retry failed downloads, sync to Google Drive, and regenerate index.md
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
Use when you want to take a Backlog issue all the way to Final review without manual orchestration — chains check-issue, fix-issue, add-model/add-rule, run-pipeline, and review-pipeline; substantive issue-quality problems are sent to a rewrite subagent; algorithmically unsalvageable issues are parked on OnHold
Use when reviewing a [Rule] or [Model] GitHub issue for quality before implementation — checks usefulness, non-triviality, correctness of literature claims, and writing quality
Use when a user wants to propose a new problem model or reduction rule — guides them through brainstorming, clarifies the design, and files a GitHub issue
Review the Typst paper (docs/paper/reductions.typ) for quality issues — evaluates 10 entries per session, reports mechanical and critical issues without fixing
Reverse of find-solver — given a solver for a model, discover what other problems it can handle via incoming reductions, ranked by effective complexity
Interactive guide — match a real-world problem to a library model, explore reduction paths, recommend solvers (built-in + external), and generate a solution doc
| name | update-papers |
| description | Update the research paper collection — download new papers from references.bib, retry failed downloads, sync to Google Drive, and regenerate index.md |
Maintain the research paper collection in docs/research/. Downloads papers referenced in docs/paper/references.bib, manages the manifest, syncs to Google Drive, and keeps docs/research/index.md current.
rclone installed and configured with a gdrive remotePAPERS_REMOTE env var set (e.g., gdrive:problemreductions-papers)make papers-status
Note the counts: total entries, PDFs on disk, pending downloads, missing papers.
Run the lookup to find arxiv/OA URLs for any new entries in references.bib since the last run. This is incremental — it skips entries already found in the manifest.
make papers-lookup
Review the output:
Download papers with known free URLs (arxiv + open access). Skips PDFs already on disk.
make papers-download
If some OA downloads fail with 403, that's expected — publisher paywalls. These will be picked up by Sci-Hub in the next step.
For papers with DOIs that aren't on disk yet, try Sci-Hub mirrors. This is the slowest step (~5 seconds per paper).
make papers-scihub
The script tries multiple mirrors (sci-hub.ru, sci-hub.do, sci-hub.it.nf, sci-hub.es.ht). If all mirrors are down, retry later — the script is fully idempotent.
After Sci-Hub, check make papers-status for papers still missing. For each one with a DOI that Sci-Hub couldn't find:
"<title>" <first-author> PDF — try:
curl -L -o docs/research/raw/<key>.pdf "<url>"file docs/research/raw/<key>.pdfSkip textbooks (garey1979, sipser2012, cormen2022, conway1967) — these aren't available as single PDFs.
Update docs/research/index.md with the latest paper collection, cross-referenced against reduction rules and problem definitions in reductions.typ.
make papers-index
Verify the index looks correct:
Push updated PDFs and manifest to the shared Google Drive remote. Only uploads new/changed files.
First verify the remote is configured:
echo $PAPERS_REMOTE # should show e.g. gdrive:problemreductions-papers
# If empty, set it:
export PAPERS_REMOTE=gdrive:problemreductions-papers
Then push:
make papers-push
make papers-status
Report to the user:
For a full update in one command:
make papers && make papers-index
This runs: lookup → download → scihub → status → index.
Sci-Hub mirrors all fail: Mirrors rotate frequently. Update SCIHUB_DOMAINS in scripts/fetch_papers.py or retry later.
rclone auth expired: Run rclone config reconnect gdrive: to refresh the OAuth token.
Manifest is stale: Delete docs/research/manifest.json and re-run make papers-lookup to rebuild from scratch. Existing PDFs on disk are preserved.
New bib entry not appearing: Ensure the entry is in docs/paper/references.bib with proper formatting. The parser expects @type{key, ... } with fields like title, doi, author, year.