sharpen
Make a task deeper, not bigger, then rewrite the prompt. Use for /sharpen.
스킬 불러오는 중
스킬 불러오는 중
스킬 불러오는 중
전 세계 AI 스킬을 둘러보고, 내 작업에 맞게 좁혀보세요.
skills.sh API 기준방금 확인
Make a task deeper, not bigger, then rewrite the prompt. Use for /sharpen.
Bring a project's formal verification back in line with the code after the code changes: find the commits that touched verified code, update the model, harness, or properties to describe the code as it is now, rerun, and say whether each failure is drift in the verification or a bug in the code. Use for /maintain-formal-verification-skill, \"is the model still true to the code\", or after merges and refactors that touched verified code without rechecking it.
Apply when debugging. Trace each symptom back to the first place the system went wrong and fix it there. A guard is a fix only when the state it handles is legitimate.
Use only when the user explicitly asks for TDD, a failing test, or a regression test, OR when the bug has an obvious cheap local test target. Skip when the test path is unclear, expensive, integration-heavy, or not requested.