Software Development
Proof Orchestrator
Manage a stateful, run-directory-based proof project with Codex: 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.
- Publisher / source
- wanshuiyin/Auto-claude-code-research-in-sleep (found on skills.sh, an awesome list)
- Upstream record
- wanshuiyin/Auto-claude-code-research-in-sleep
- Version
- Version 3
- Published
- Publication review
- Approved for publication
- Content fingerprint
d4c06928e9281ad7208c7402f69611cf813e16353b85bf7fe432ad0b6666fcde