菜单
Enforce strict ytnova bugfix loop: failing regression first, implementation second, passing proof third.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
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.
