Proof Orchestrator

Yang Ruofeng

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.

Install

npx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-orchestrator

npx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-orchestrator -a claude-code -g

npx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-orchestrator -a codex -g

gemini skills install https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep.git --path skills/skills-codex/proof-orchestrator

gh skill install wanshuiyin/Auto-claude-code-research-in-sleep proof-orchestrator

git 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/skills-codex/proof-orchestrator ~/.claude/skills/proof-orchestrator   # Claude Code
cp -R /tmp/wanshuiyin__Auto-claude-code-research-in-sleep/skills/skills-codex/proof-orchestrator ~/.agents/skills/proof-orchestrator   # Codex, Cursor, Gemini CLI, Copilot, OpenCode

Install

Related