files / scripts / README.md

829 B · on GitHub

Scripts

Research half of the same loop as scripts/new-problem.sh and .claude/skills/ (new-problem, literature). Stdlib Python 3 only; arxiv_fetch.py needs pdftotext for PDF fallback.

python3 scripts/arxiv_fetch.py 2211.09055                                      # title, abstract, bound-looking sentences
python3 scripts/arxiv_fetch.py 2509.05260v3 --keep-pdf problems/chowla-cosine/compute/refs/bedert-2509.05260.pdf
python3 scripts/arxiv_fetch.py 2211.11731 --research problems/union-closed/RESEARCH.md   # append citation stub
python3 scripts/oeis_lookup.py A000045
python3 scripts/oeis_lookup.py 1,2,4,8,16,32,64

The "bound-looking sentences" list is a grep-grade heuristic to find where the claims live — it is not a citation. Read the paper, then replace the stub's TODO with the verified claim.