Loading listing…
proof-orchestrator
Security scan passedManage a stateful, run-directory-based proof project with Codex: continuation across runs, run-local source bookkeeping…
Part of ARIS
by wanshuiyin· AI & agentsUnclaimed · Yours? Claim it
What proof-orchestrator does
About
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.
Install proof-orchestrator
More from AI & agents
Skills people install alongside proof-orchestrator.
