yqi96

literature-survey

Use for literature-backed surveys, related work, introductions, discussions, or prose whose evidence comes from published papers. Translate citable propositions into verified literature Grounds and cite them as \cite{statement_N}.

overleaf-setup

Use once when a LaTeX project needs Overleaf synchronization with Warranted citation enforcement. Installs/authenticates leaf, binds a local LaTeX directory to an Overleaf project, and writes the Stop hook that pushes staged source with statement_N citations expanded.

paper-reproduce

Use for reproducing published papers or validating whether a paper's Claims and stated results hold under independent reproduction. Preserve the paper's Claims, map stated results to pending Grounds, enforce verification independence, delegate experiment work to code-experimenter, and route mismatches and claimed blockers to discrepancy-auditor before any Rebuttal or barrier verdict.

academic-writing

Use when drafting or revising manuscript text that must project graph-backed scientific arguments into paper prose across Introduction, Related Work, Results, Discussion, Methods, figures, tables, source data, and citation handles.

auto-research

Use for open-ended autonomous research where you must generate the research questions and Claims yourself from provided data and reference material. Route the goal through a Framing step, propose falsifiable Claims, produce observed Grounds from the data and literature Grounds from the references, actively seek disconfirming evidence before any verdict, and let compile gate completion.

declare-barrier

Use this to officially close out a task you cannot complete. Generates the required documentation to formally mark something as blocked and move on.