MathPipeProver

Fan out a 4-member council (1 Codex thinking-high + 1 Gemini Pro + 1 Claude Opus + 1 ChatGPT Extended Pro) on a stalled re-attack. Preserves all four independent memos; hands off to the regular Strategy Searcher for pure selection. Opt-in (attempt ≥2), ~3× the cost of a single search.

Harvest a completed ChatGPT chat's last assistant message into a response file. Use when a role finished but the response file wasn't captured (e.g., orchestrator lost the chat URL, or the submit script died after the model responded).

Create or update {PROOF_REPO}/referee_targets.yaml — the target-journal registry the paper_referee role consults to judge whether the result clears the bar at the journals you might submit to. Optional; without it the referee falls back to a generic publishability check.

Use when working in MathPipeProver on ChatGPT project preparation, durable source refresh, project-source inspection, or browser-backed external_agent submission. Prefer scripts/chatgpt_browser_agent.sh prepare/submit over ad hoc UI work, enforce the Extended Pro target, and keep durable sources separate from temporary attachments.

Read-only one-shot inspection of a live ChatGPT chat — returns generating flag, assistant turn count, last assistant message length and tail. Use during long-running roles to check whether the chat is still working or done.

Verify or set the ChatGPT composer to the Extended Pro target (reasoning Pro + model 5.5; pill reads "Extended Pro" or "Pro"). Required before any analytical submission.

Add or remove durable files in a ChatGPT project's Sources tab. Use after a verified result lands, after a route pivot, or when the durable proof-state file has been updated locally.

Submit a proof role prompt to a ChatGPT project via CDP and monitor for completion. Verifies Extended Pro (or toggles Deep Research for the literature role), sends, reports the chat URL, and provides recovery guidance for long-running roles.