一键导入
update-papers
Update the research paper collection — download new papers from references.bib, retry failed downloads, sync to Google Drive, and regenerate index.md
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
Update the research paper collection — download new papers from references.bib, retry failed downloads, sync to Google Drive, and regenerate index.md
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
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.