/proof-orchestrator-skills-codex
以 Codex 管理有狀態、以執行目錄為基礎的證明專案：跨次執行延續、執行內來源記錄、本機嘗試停滯時的手動 GPT Pro 交接包，以及僅作額外佐證的選用 DeepSeek 第二意見。
- 安裝次數
- 228
- 專案星數
- 1.8 萬 ★
- 授權
- MIT
- 專案更新
- 2026-11-01
怎麼裝
npx skills add https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-orchestrator安裝前請先看過原文內容。中文說明是 AI 翻譯，不保證安全。
原文
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.