domains / families / research / proof-orchestrator

proof-orchestrator

authentic

Manage a stateful, run-directory-based proof project: continuation across runs, run-local source bookkeeping, manual GPT Pro handoff packages when a local attempt stalls, and an optional DeepSeek second opinion as additional evidence only. Use when the user asks for proof-run orchestration, a GPT Pro handoff, or cross-run proof continuation — use /proof-writer for ordinary proof drafting and /proof-checker for rigorous verification or submission acceptance.

When to use

• proof-run orchestration
• GPT Pro handoff
• cross-run proof continuation
• local proof attempt and checking
• manual GPT Pro handoff packages
• optional DeepSeek second opinion
• run-local source bookkeeping

When not to use

• ordinary proof drafting
• rigorous verification
• submission acceptance
• operating a browser
• uploading files
• spending API credit
• replacing canonical /proof-checker submission gate

Skill page

Source