Reasoning scaffolds pack — worked-example traces, counterexample hunts, invariants, options enumeration. Use when writing algorithms, recursion, parsers, state machines, index math, or choosing between design approaches.
Installs into .claude/skills of the current project.
Are you the author of Kit Reasoning?
Add the live security badge to your README. It updates with every re-scan.
[](https://www.skillsdirectory.com/skills/altafino-kit-reasoning)
---
name: kit-reasoning
description: Reasoning scaffolds pack — worked-example traces, counterexample hunts, invariants, options enumeration. Use when writing algorithms, recursion, parsers, state machines, index math, or choosing between design approaches.
---
Read and apply to the current task, citing rule IDs with one line of evidence as they fire:
- docs/guardrails/REASONING.md — RE1–RE4 (trace before code, counterexample after, invariant comment, explain-then-code)
- docs/guardrails/PLAN.md — P10 (OPTIONS artifact for any decision with 2+ plausible shapes)
- docs/guardrails/TRAPS.md — the computed loop/slice/range bounds trace row
