Loading skill
Install any skill in seconds. Free to start, no credit card required.
Get Started Free →athola/safety-critical-patterns
Applies NASA Power of 10 rules for safety-critical verifiable code.
Passed 15 of 18 test cases with the skill, and 7 of 18 without it.
and 13 more in the full report
11 fixed7 passed either way3 still failing1 broke
Tokens, turns and time describe resource use, not a dollar price.
One of 11 test cases the skill fixed. Same model, same prompt, with and without the skill.
In `src/compiler/ast.py`, an Abstract Syntax Tree traversal uses depth-first recursion, but explicitly enforces a maximum AST depth check of 50 levels before recursing. A reviewer wants to flag this under Rule 1 (No recursion). How should this bounded recursion be judged?
| Checked | Without skill | With skill |
|---|---|---|
| The assessment judges bounded depth recursion for tree traversal as acceptable under Rule 1. | Missed | Passed |
| The assessment notes that the provable depth limit satisfies safety criteria. | Passed | Passed |
The instructions your model reads when the skill loads.
Guidelines adapted from NASA's Power of 10 rules for safety-critical software.
Full rigor: Safety-critical systems, financial transactions, data integrity code Selective application: Business logic, API handlers, core algorithms Light touch: Scripts, prototypes, non-critical utilities
"Match rigor to consequence" - The real engineering principle
prefer-invariants-over-fallbacks targets (use
conserve:code-quality-principles)Avoid goto, setjmp/longjmp, and limit recursion.
Why: Ensures acyclic call graphs that tools can verify. Adaptation: Recursion acceptable with provable termination (tail recursion, bounded depth).
All loops should have verifiable upper bounds.
# Good - bound is clear
for i in range(min(len(items), MAX_ITEMS)):
process(item)
# Risky - unbounded
while not_done: # When does this end?
process_next()
Adaptation: Document expected bounds; add safety limits on potentially unbounded loops.
test cases passed, vs 7 / 18 without
More skills from the same source and nearby in the registry, with their headline benchmark lift.