AutoOPT

Plugin autoopt in Shuvomoy/AutoOPT. Commands read from the repo's manifest — 1 month ago.

Skills (8)

• 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, Sta

• bnb-pep-skill

  Formalize, derive, and locally implement Branch-and-Bound Performance Estimation Programming (BnB-PEP) instances from math or plain English. Use when a researcher or agent needs worst-case performance analysis or stepsize/parameter optimization of fixed-step first-order methods via performance estim

• chatgpt-pro-handoff

  Package a full-workspace or directed file-selection handoff for attended ChatGPT Pro consultation through the Chrome plugin at chatgpt.com using GPT-5.6 Sol with Intelligence set to Pro, monitor by waiting in internal chunks of at most 60 seconds while inspecting the ChatGPT UI only roughly every 5

• chatgpt-pro-session

  Persistent ChatGPT Pro workflow for starting, claiming, and continuing one reusable ChatGPT Web conversation with an initial project context bundle, monitored by waiting in internal chunks of at most 60 seconds while inspecting the ChatGPT UI only roughly every 5 minutes after reasoning or generatio

• frontier-llm-consult

  Human-gated frontier-model research router for AutoOPT Stage 2 symbolic fitting, candidate formula/proof discovery, proof planning, and independent model review. Use when Codex must choose between an external chatgpt-pro-session consultation and an explicitly invoked native solve-with-highest-reason

• lean-verify

  Formalize and verify optimization theorem, proof, and certificate targets in Lean/Lake using ChatGPT Pro blueprints only as proof-planning aids and local agentic Lean implementation as the execution path. Use for AutoOPT Stage 3, or standalone optimization-theorem verification, when Codex needs to t

• research-repo-manager

  Initialize, refresh, compact, and audit applied-math/optimization research repositories. Use when managing immutable sources, research goals, claim/evidence ledgers, experiment/reproducibility logs, source drift, next sessions, or approval-gated archiving.

• solve-with-highest-reasoning

  Run an explicitly invoked, long-horizon native-Codex campaign on one exceptionally difficult mathematical or research problem using a user-confirmed minimum duration, the strongest currently available Codex GPT model, that model's highest supported reasoning setting, adaptive independent subagents,

Similar plugins