Menu
Enforce strict ytnova bugfix loop: failing regression first, implementation second, passing proof third.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
Prevent and remove high-impact code-quality issues with principle-driven, risk-ranked recommendations and optional implementation.
Plan ytnova changes from behavior to implementation tasks with files, risks, invariants, and acceptance criteria. Use for design and technical-approach questions.
Implement approved ytnova tasks in C with minimal coherent edits, architectural safety, and terminal-verified proof.
Perform adversarial ytnova code review with severity-ranked findings, concrete fixes, and pass-fail gate decision.
Run ytnova C quality gate for feature-sized changes using build, static analysis, valgrind, and pytest per docs/AUDIT.md.
Provide practical conventions and process guidance for ytnova and OSS C/TUI workflows, including personas, skills, review standards, and developer expectations.
| name | bugfix-red-green-proof |
| description | Enforce strict ytnova bugfix loop: failing regression first, implementation second, passing proof third. |
Use this skill for any bugfix work, regardless of persona.
