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.

altafino be08cc8 655 B Updated

File contents

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

altafino/FableClaudeMDForOpus/tree/main/.claude/skills/kit-reasoning commit be08cc8b91

Frequently asked questions

npx skillmds@latest add altafino/kit-reasoning