# Kit Reasoning

> 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.

- Skill: `altafino/kit-reasoning` (Agent Skill)
- Install (CLI): `npx skillmds@latest add altafino/kit-reasoning`
- Raw SKILL.md: https://api.skillmd.com/api/skills/altafino/kit-reasoning/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: altafino (https://skillmd.com/u/altafino)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/altafino/kit-reasoning

---


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