Software Development
Proof Orchestrator
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.
- 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 2
- Published
- Publication review
- Approved for publication
- Content fingerprint
a413ff855b0d297671b443e66e6a0ae64caa0a23ed2cbff5b5037cea4f7c8de5