What problem does it solve? Turning a dense theory-modeling paper into reusable research assets is slow and error-prone: formal statements get paraphrased, assumptions get lost, and links to empirical work are never recorded. This Skill converts one theory paper (PDF or TeX) into structured wiki pages with verbatim formal statements and a shared graph connecting theory to the empirical layer. ## Core Features & Use Cases - Six-slot extraction: Pulls environment/primitives, solution concept, results, proofs, comparative statics, and testable implications along a fixed theory-modeling skeleton, writing "not reported" instead of guessing. - Structured wiki output: Creates or updates paper cards, assumptions, propositions, hypotheses, mechanisms, and foundations pages with verbatim formal statements and explicit deduplication. - Knowledge graph edges: Records assumes/proves/formalizes_mechanism/predicts edges with confidence levels, bridging theory to empirical papers on one shared graph. - Use Case: Given a TeX source of a game-theory paper on managerial myopia, generate a paper card plus proposition pages with verbatim statements, link its testable implications to hypothesis pages, and connect the formalized mechanism to existing empirical mechanisms. ## Quick Start Run the theory-ingest skill on the local file paper.tex with the topic "managerial myopia and patient capital" to generate the wiki pages and graph edges.
