Claude Skills Research

claude-skills-research

Claude Code skills for supporting academic research in machine learning and computer science: reviewing papers, verifying bibliographies, finding related work, comparing a draft against prior art, and running experiment campaigns on HPC clusters.

These grew out of real reviewing work. Every design decision that looks odd is there because something failed on a real paper, and the reasoning is recorded in the skill itself rather than lost.

Install

git clone https://github.com/chgagne/claude-skills-research ~/.claude/skills

Or clone elsewhere and symlink the ones you want into `~/.claude/skills/`. Claude Code discovers a skill by the frontmatter in its `SKILL.md`.

**No dependencies.** Every tool is Python 3.10+ standard library only — no pip install, no virtualenv. A guard test in each skill fails the suite if a third-party import creeps in.

Optional configuration

Setting	Effect	How
SCHOLARLY_MAILTO	Puts Crossref/OpenAlex requests in their polite pool — faster and more reliable. Optional; everything works without it.	export SCHOLARLY_MAILTO="you@university.edu" or write it to ~/.config/scholarly/mailto
S2_API_KEY	A dedicated 1 req/s lane on Semantic Scholar instead of a contended anonymous pool.	Request one free, then export S2_API_KEY=… or ~/.config/scholarly/s2_key
pdftotext	Lets comparing-papers read PDFs when LaTeX source is unavailable.	brew install poppler / apt install poppler-utils
sympy	Lets verifying-proofs confirm an algebraic identity rather than merely failing to refute it. Absent, those steps report UNVERIFIED and the run exits 2.	pip install sympy
z3	An opt-in escape hatch in verifying-proofs for a concrete inequality over reals or integers. Not used by any default run.	pip install z3-solver
latexmk	Builds the per-theorem PDFs in `explaining-de