proof-orchestrator
wanshuiyin/Auto-claude-code-research-in-sleep
This skill manages complex, stateful proof projects as a local-first pipeline. It guides the user through drafting, rigorous verification, and source bookkeeping. It systematically handles proof continuation across runs, maintaining a full audit trail. When local attempts stall, it orchestrates handoffs to external AI models (like GPT Pro) or performs optional deep audits (DeepSeek), ensuring a structured, traceable, and verifiable output suitable for academic or technical submission.