Does this skill support modern languages like Python and TypeScript?

Yes, it adapts classic safety-critical principles for modern environments, including specific linter configurations for Ruff, Mypy, and TypeScript.

How does this improve AI-generated code?

It acts as a quality filter, forcing the AI to avoid 'clever' but risky patterns like deep recursion or complex metaprogramming in favor of verifiable logic.

What are the NASA Power of 10 rules?

They are a set of coding guidelines developed by NASA's JPL for mission-critical software to ensure clarity, predictability, and ease of mathematical verification.

Should I apply these rules to all my code?

No. The skill follows the 'match rigor to consequence' principle, recommending full rigor for critical logic and a lighter touch for scripts or prototypes.

Safety-Critical Coding Patterns

Name: Safety-Critical Coding Patterns
Author: athola

byathola

•

171

•

Security & Testing

Implements robust software engineering principles inspired by NASA's Power of 10 rules to ensure high-reliability and verifiable code.

The Safety-Critical Coding Patterns skill provides Claude with a rigorous framework for writing and reviewing mission-critical software. By adapting the NASA JPL Power of 10 rules for general-purpose programming, this skill helps developers minimize bugs in high-consequence areas like financial transactions, data integrity layers, and core business logic. It emphasizes restricted control flow, verifiable loop bounds, defensive assertions, and minimal variable scope, guiding the AI to produce code that is both robust and easy to verify through modern static analysis tools.

Key Features

01Context-aware rigor matching based on code consequence

02Defensive assertion density checks to catch runtime errors early

03171 GitHub stars

04NASA-inspired 'Power of 10' rule application for high-stakes code

05Strict variable scoping and memory safety guidance

06Verifiable loop and control flow analysis to prevent infinite cycles

Use Cases

01Reviewing core algorithms for edge-case robustness and predictability

02Hardening financial transaction logic or data integrity paths

03Refactoring legacy code to meet modern safety and verification standards

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add athola/claude-night-market safety-critical-patterns

For use in Claude.ai and ChatGPT

Download Skill