proof-orchestrator
Proof Orchestrator
Role
Run proof work as a local-first pipeline. The executor first attempts the proof, checks its correctness, and edits it for clarity and economy. Escalate the remaining hard obligation to GPT Pro.
Default escalation is manual: maintain the sources locally and give the user an exact browser-ready prompt. Invoking this skill does not authorize the executor to operate a browser, upload files, or spend API credit. An optional external call-gpt-pro skill may be used only when it is installed and the user explicitly asks the executor to perform the GPT Pro call for the current run.
An adversarial DeepSeek audit is an optional review mode inside this skill, not
a separate proof-checker. Run it only when the user explicitly requests
DeepSeek review or an independent second opinion for the current proof run.
Existing paper workflows continue to use ARIS's canonical /proof-checker;
do not replace that submission gate with this optional route.