# proof-orchestrator

> Manage a stateful, run-directory-based proof project with Codex: continuation across runs, run-local source bookkeeping…

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.

- Type: Skill
- Made by: wanshuiyin
- Category: AI & agents
- Formats: Skills
- Version: 732c9d6
- Source: https://github.com/wanshuiyin/auto-claude-code-research-in-sleep/tree/HEAD/skills/skills-codex/proof-orchestrator
- Page: https://pluginboard.ai/skills/proof-orchestrator-wanshuiyin

## Works with

- ChatGPT
- Claude
- Gemini
- GitHub Copilot
- Cursor
- Claude Code
- Codex
- Antigravity
- Gemini CLI
- Replit
- OpenClaw
- OpenCode
- Hermes Agent

## Install

### ChatGPT

In ChatGPT: Download the proof-orchestrator folder and zip it, then Plugins → Skills → Create → Upload from your computer. Business and Enterprise plans.

View the folder on GitHub: https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/skills-codex/proof-orchestrator

### Claude

In Claude (web or desktop): Download the proof-orchestrator folder and zip the folder itself, then upload it in Customize → Skills.

View the folder on GitHub: https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/skills-codex/proof-orchestrator

### Gemini

In Gemini: Download the proof-orchestrator folder, then at gemini.google.com click Customize → Skills → Create → Upload and pick the folder (or a .zip of it).

View the folder on GitHub: https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/skills-codex/proof-orchestrator

### GitHub Copilot

Run in your terminal:

```shell
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/proof-orchestrator ~/.copilot/skills/proof-orchestrator
```

View the folder on GitHub: https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/skills-codex/proof-orchestrator

### Cursor

Run in your terminal:

```shell
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/proof-orchestrator ~/.cursor/skills/proof-orchestrator
```

View the folder on GitHub: https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/skills-codex/proof-orchestrator

### Claude Code

Run in your terminal:

```shell
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/proof-orchestrator ~/.claude/skills/proof-orchestrator
```

View the folder on GitHub: https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/skills-codex/proof-orchestrator

Or all of ARIS, in Claude Code:

```text
/plugin marketplace add wanshuiyin/Auto-claude-code-research-in-sleep
/plugin install aris@aris
```

### Codex

Run in your terminal:

```shell
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/proof-orchestrator ~/.agents/skills/proof-orchestrator
```

View the folder on GitHub: https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/skills-codex/proof-orchestrator

### Antigravity

In Antigravity: Copy the proof-orchestrator folder into ~/.gemini/config/skills (Antigravity app and IDE) or ~/.gemini/antigravity-cli/skills (Antigravity CLI).

View the folder on GitHub: https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/skills-codex/proof-orchestrator

### Gemini CLI

Run in your terminal:

```shell
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/proof-orchestrator ~/.gemini/skills/proof-orchestrator
```

View the folder on GitHub: https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/skills-codex/proof-orchestrator

### Replit

Run in your terminal:

```shell
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/proof-orchestrator .agents/skills/proof-orchestrator
```

View the folder on GitHub: https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/skills-codex/proof-orchestrator

### OpenClaw

Run in your terminal:

```shell
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/proof-orchestrator ~/.openclaw/skills/proof-orchestrator
```

View the folder on GitHub: https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/skills-codex/proof-orchestrator

### OpenCode

Run in your terminal:

```shell
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/proof-orchestrator ~/.config/opencode/skills/proof-orchestrator
```

View the folder on GitHub: https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/skills-codex/proof-orchestrator

### Hermes Agent

Run in your terminal:

```shell
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/proof-orchestrator ~/.hermes/skills/proof-orchestrator
```

View the folder on GitHub: https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/skills-codex/proof-orchestrator

---
From Pluginboard (https://pluginboard.ai).