What problem does it solve?
This Skill helps repair a known defect or concrete failure by quickly identifying the owning problem, making the smallest correct change, and verifying the fix at the narrowest meaningful boundary.
Core Features & Use Cases
- Fast failure triage: Reads the latest error signal, classifies ownership, and focuses on the relevant code, setup, proof, or tooling path.
- Minimal local repair: Updates the smallest necessary surface area while preserving accepted behavior and avoiding unnecessary refactors.
- Narrow verification: Re-runs the targeted check first, then broader proof when needed, so the fix is confirmed before handoff.
- Use Case: A regression appears in a build, test, browser flow, or evaluator run, and the Skill is used to isolate the cause and apply a verified fix without widening scope.
Quick Start
Use the coding-repair skill to inspect the latest failure, identify the owning component, and apply the smallest verified fix.