Stats
Actions
Tags
Apply semi-formal certificate reasoning to code analysis — patch verification, fault localization, patch equivalence. Use when reviewing patches, hunting bugs across scopes, comparing fixes, or when code reasoning requires tracing execution across files/modules. Triggers on code review, bug localization, patch comparison, name shadowing, scope analysis, regression checking.
How this skill is triggered — by the user, by Claude, or both
Slash command
/reasoning-semiformally:reasoning-semiformallyThe summary Claude sees in its skill listing — used to decide when to auto-load this skill
Structured certificate templates that force mandatory checkpoints before conclusions.
Structured certificate templates that force mandatory checkpoints before conclusions.
Do NOT apply semi-formal reasoning when:
If any skip condition is met, proceed with standard reasoning.
If you are Haiku-class (Haiku 4.5 or similar):
Read haiku.md in this skill directory. It contains full procedural templates with worked examples.
If you are Sonnet-class or above (Sonnet 4.6, Opus):
Read sonnet.md in this skill directory. It contains compact verification checkpoints.
For complex tasks, apply templates sequentially:
Each output feeds the next as premises.
Provides UI/UX resources: 50+ styles, color palettes, font pairings, guidelines, charts for web/mobile across React, Next.js, Vue, Svelte, Tailwind, React Native, Flutter. Aids planning, building, reviewing interfaces.
Fetches up-to-date documentation from Context7 for libraries and frameworks like React, Next.js, Prisma. Use for setup questions, API references, and code examples.
npx claudepluginhub antstanley/skills --plugin reasoning-semiformally