executing-plans
executing-plans
Use when executing an implementation plan in the current session as the implementer yourself — your human partner chose inline execution, or no subagent tool is available
latex-paper-authoringamsmath / amsthm scaffold, theorem environments, figure & equation cross-refs, journal templates.
Independent GitHub snapshot · Automated classification · Original documentation governs
\documentclass{amsart} (or the journal template), amsmath, amsthm, amssymb, mathtools, hyperref (last), cleveref.\newtheorem{thm}{Theorem}[section] plus lem, prop, cor, defn, rem.\label{eq:foo} + \cref{eq:foo} — never hard-code numbers.latex_compile (tectonic in the sandbox); ship the PDF via latex_get_pdf.overleaf_pull_project, edit locally, push with overleaf_push_project + a clear commit message.