Skill Claude CodeCodex
Workflow 3: Full paper writing pipeline. Orchestrates paper-plan → paper-figure → paper-write Markdown drafts → paper-write LaTeX section files → paper-compile → paper-review → formal polish → optional human-style polish → proof/claim/citation audits to go from a narrative report to a polished PDF. Use for /goal-based…
Skill Claude CodeCodex
Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via AGENTS.md paper architect/reviewer audit, fixes each gap with full derivations, re-reviews, and generates an audit report. Use when user says "检查证明", "verify proof", "proof check", "审证明", "check this proof", or wants…
Skill Claude CodeCodex
Structures and derives research formulas when the user wants to 推导公式, build a theory line, organize assumptions, turn scattered equations into a coherent derivation, or rewrite theory notes into a paper-ready formula document. Use when the derivation target is not yet fully fixed, the main object still needs to be…
Skill Claude CodeCodex
Writes rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill in missing proof steps, formalize a proof sketch, 补全证明, 写证明, 证明某个命题, or determine whether a claimed proof can actually be completed under the stated assumptions.
Skill Claude CodeCodex
Workflow 4: Submission rebuttal pipeline. Parses external reviews, enforces coverage and grounding, drafts a safe text-only rebuttal under venue limits, and manages follow-up rounds. Use when user says "rebuttal", "reply to reviewers", "ICML rebuttal", "OpenReview response", or wants to answer external reviews safely.
Skill Claude CodeCodex
Review and improve a formal academic rebuttal letter draft for peer review responses.
Skill Claude CodeCodex
Write a formal academic rebuttal letter from rebuttal strategy notes and reviewer comments.