Fetch arXiv source, turn PDFs into Markdown locally, search your papers, trace each number in a paper to its source, verify references, review papers and import them into Zotero, with a hook that keeps the full text of subscription papers out of the conversation
8 skills · hooks
Working discipline for research: decide whether an idea is worth pursuing and pre-register predictions, check whether an iterative loop is converging, run hard problems through five gates, put decisions on a page to tick, and use Mathematica for exact and high-precision work
5 skills
Typeset PDFs and slide decks from Markdown, self-contained HTML documents, a course or docs site bound into one printable PDF, and narrated explainer videos made with Manim
4 skills
Speech from text and papers read aloud on your own Mac with Kokoro-82M, through the pdf2audio tools; no text or audio leaves the machine
2 skills
Skills for recording and transcribing meetings on your own Mac with the meeting tool in this repository (OBS, whisper.cpp, pyannote); nothing is uploaded
2 skills