Paper Theater — Development skill for Claude Code
Miniature stagings of theory papers, as agent skills for Claude Code, Codex, and Hermes: script · rehearse · stage · restage · tryout · canon · blocking.
How to install Paper Theater
This entry records only its repository, not the path inside it, so there is no
exact command to give. Open ostupak-ut/paper-theater and copy the folder into
~/.claude/skills/, or the file into ~/.claude/agents/.
What Paper Theater does
Miniature stagings of theory papers, as agent skills for Claude Code, Codex, and Hermes: script · rehearse · stage · restage · tryout · canon · blocking. Theorem-only prototypes with complete structured proofs, an obligation ledger, a dead-end promptbook, and adversarial three-pass tryouts (format v1.9).
Alternatives in Development
- PaperSpine — PaperSpine is a motivation-driven skill for learning from strong academic papers, building a paper’s central a 5k ★
- Skill.Color Expert — Agent skill for color science expertise 426 ★
- Learn From Materials — Turn PDFs, books and papers into interactive learning webpages|将复杂材料转化为可追溯、可测验、可做笔记的学习网页 225 ★
README
paper-theater
**Miniature stagings of theory papers, as agent skills for Claude Code, Codex, and Hermes.**
Nineteenth-century toy theaters were full productions in miniature — stages printed on paper, sold as kits, made to test whether the play works before anyone builds the real set. paper-theater does the same for theory papers in economics, operations research, and information systems: small, complete, honest stagings of the logic, before you write the paper.
*script the paper, rehearse its moves, stage your own, tryout before opening night — the survivors join the canon.*
The seven acts
| skill | what it does |
|---|---|
| script | strips any paper — yours or the literature's — to its bare spine: assumptions, lemmas, results, in the paper's own order, every block faithfully restated and source-anchored ([Thm 2, eq. (14), p. 9]). A 30-page paper becomes a 2-page read. Published papers end with the canon gate. |
| rehearse | extracts the math tools a paper runs on (envelope theorem, normal–normal updating, supermodularity, …) into an iPad-ready study file: one tool per page — statement, how this paper uses it, worked example, exercises — with verified solutions at the back and a wide margin for Apple Pencil working. |
| stage | turns a new idea into a condensed 2–4pp note under the theorem-only rule: every stated result carries a complete appendix proof, machine-audited in checks/ where feasible. What is not proved is not stated. It appears as one prose line under Open problems instead. Capped glue (Intuition ≤ 2 sentences, Next ≤ 1), a one-page skeleton map, a verification contract, calibration against exemplars retrieved from your canon. |
| restage | rebuilds a staging after the math changes, with honest roster invalidation: unchanged results and their proofs are carried, changed results are re-proved in full or move to Open problems. A proof never survives a change to the math it proved. |
| tryout | the out-of-t |
Related Skills
Scientific Paper Writer Skill Claude
A Claude Skill for drafting, structuring, and polishing scientific and academic research papers to publication
Rehearse
Benchmark and improve coding-agent instructions with real Claude Code sessions, stage replay, and graded evide
Paper Writer
Paper Writing Skill (SOSP/OSDI Systems Papers)
ReproRun
🔬 A skill that automatically reproduces the numerical claims of academic papers — read paper → find code → bu
Paper Search
Search academic papers via OpenAlex (250M+ works, free, no API key needed). Find papers by keyword, look up de
System Paper Polisher
A Claude Code skill for polishing computer systems conference papers. Features multi-agent iterative review wi
Related Agents
Synthesizer
Research paper synthesis specialist. Compiles evidence from lit scouts into coherent academic papers. Use when
Ensemble Curator
High-volume triage agent for external-AI-agent PRs (Codex, Jules, Hermes, Droid, Aider, etc.). Analyzes, conso
Peer Reviewer Theory
A simulated peer reviewer specializing in sociological theory, conceptual frameworks, and the theoretical cont