T
theory-paper-to-theorem-distiller
About theory-paper-to-theorem-distiller
A skill for turning research papers into structured theorem notes. It is intended for readers who want to distinguish stated claims from checked details while preserving assumptions, proof dependencies, and reusable methods.
Key features
- 01Identify the problem and main theorem
- 02Collect definitions and notation
- 03Summarize claims and proof strategy
- 04Map proof dependencies
- 05Separate novelty from standard methods
- 06Record assumptions and unchecked details
Use cases
- 01Distilling a paper before a literature review
- 02Tracing lemmas leading to a main theorem
- 03Assessing which techniques transfer to new work
Install
Copy the command and run it in a terminal.
$
npx skills add https:/After installing, type/theory-paper-to-theorem-distillerin Claude Code to confirm it loaded.
Details
From the project READMEPaper to Theorem Distiller
Extract the reusable mathematical core.
Workflow
- Identify the central problem and theorem.
- List key definitions and notation.
- Summarize each main claim in plain but precise language.
- Outline proof strategy without pretending full verification.
- Note what is novel vs standard machinery.
- Extract the dependencies between definitions, lemmas, and the main theorem.
- End with what can be reused in your own work.
Rules
- Separate paper claims from verified details.
- If a proof was not checked, say so.
- Do not compress away assumptions; they are often the point.
- Separate reusable technique from paper-specific setup.
Output
Return:
- problem and setting;
- notation and definitions;
- main theorem/claims;
- proof dependency map;
- proof strategy;
- assumptions and limitations;
- reusable techniques;
- unchecked details.
Comments
Markdown supported