ekirton

Proof Repair

Name: Proof Repair
Author: ekirton

Productivity community

SOURCE https://github.com/ekirton/Poule/blob/main/commands/proof-repair.md

Description

You are executing the `/proof-repair` workflow. This command automates repair of Coq proofs that broke after a version upgrade. You will build the project, diagnose each failure, apply targeted fixes, and iterate until all proofs compile or no further automatic progress can be made. The user may provide optional arguments: a target scope (specific files or directories), and the Coq version pair (e.g., "8.18 to 8.19"). If version info is given, use it to inform diagnosis. If a scope is given, bu

Installation

Installs to ~/.claude/skills/ekirton-poule-proof-repair/SKILL.md

Terminal

mkdir -p ~/.claude/skills/ekirton-poule-proof-repair && curl -fsSL https://raw.githubusercontent.com/ekirton/Poule/HEAD/commands/proof-repair.md -o ~/.claude/skills/ekirton-poule-proof-repair/SKILL.md

Restart Claude Code, or start a new session, for it to be picked up.