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.
Install
npx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-orchestratornpx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-orchestrator -a claude-code -gnpx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-orchestrator -a codex -ggemini skills install https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep.git --path skills/proof-orchestratorgh skill install wanshuiyin/Auto-claude-code-research-in-sleep proof-orchestratorgit clone --depth 1 https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep /tmp/wanshuiyin__Auto-claude-code-research-in-sleep
mkdir -p ~/.claude/skills ~/.agents/skills
cp -R /tmp/wanshuiyin__Auto-claude-code-research-in-sleep/skills/proof-orchestrator ~/.claude/skills/proof-orchestrator # Claude Code
cp -R /tmp/wanshuiyin__Auto-claude-code-research-in-sleep/skills/proof-orchestrator ~/.agents/skills/proof-orchestrator # Codex, Cursor, Gemini CLI, Copilot, OpenCode