auto-opt

Run, resume, or coordinate a human-gated AutoOPT pipeline session for optimization-research automation inside a versioned research repository. Stages delegate to existing skills by name; Stage 0 repository grounding via research-repo-manager, Stage 1 numerical algorithm design via bnb-pep-skill, Stage 2 symbolic fitting of candidate formulas and proofs via frontier-llm-consult, which routes to the default external chatgpt-pro-session or an explicitly invoked native solve-with-highest-reasoning campaign with archived evidence, and Stage 3 Lean verification via lean-verify when available. Use when a researcher asks to orchestrate, chain, or gate these stages end-to-end, prepare a stage handoff, or close out a pipeline session with ledger updates. Every stage boundary requires explicit human approval; the skill automates the glue between stages, never the approvals; model outputs are candidates, never proofs.