# proof-writer

> Writes rigorous mathematical proofs for ML/AI theory.

Writes rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill in missing proof steps, formalize a proof sketch, 补全证明, 写证明, 证明某个命题, or determine whether a claimed proof can actually be completed under the stated assumptions.

- Type: Skill
- Made by: wanshuiyin
- Category: Research
- Formats: Skills
- Version: c1deee1
- Source: https://github.com/wanshuiyin/auto-claude-code-research-in-sleep/tree/HEAD/skills/skills-codex/proof-writer
- Page: https://pluginboard.ai/skills/proof-writer-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-writer 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-writer

### Claude

In Claude (web or desktop): Download the proof-writer 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-writer

### Gemini

In Gemini: Download the proof-writer 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-writer

### GitHub Copilot

Run in your terminal:

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

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

### Cursor

Run in your terminal:

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

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

### Claude Code

Run in your terminal:

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

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

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-writer ~/.agents/skills/proof-writer
```

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

### Antigravity

In Antigravity: Copy the proof-writer 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-writer

### Gemini CLI

Run in your terminal:

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

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

### Replit

Run in your terminal:

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

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

### OpenClaw

Run in your terminal:

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

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

### OpenCode

Run in your terminal:

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

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

### Hermes Agent

Run in your terminal:

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

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

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