safety-critical-patterns
NASA Power of 10 安全关键代码规则检查器
安装使用
复制下面这段提示词发给你的 AI（Claude / Cursor / TRAE / Codex / WorkBuddy 等），它会自动帮你完成安装：
帮我安装这个 AI Skill：safety-critical-patterns。 它的用途是：NASA Power of 10 安全关键代码规则检查器 完整的 Skill 内容见：https://321skill.com/skills/safety-critical-patterns-x-2/raw/index.md 请读取该页面内容，如果是 SKILL.md 格式直接安装，如果是 README 提炼核心 prompt 后安装。
提示词包含完整的 Skill 内容链接，AI 读取后即可完成安装。你也可以 查看完整内容 确认无误。
使用示例
'检查这段 C 代码是否符合 NASA Power of 10 规则，特别是第3条关于循环复杂度的限制'，它会逐行扫描代码，指出某个函数循环嵌套超过3层，并给出重构为状态机或拆分函数的建议。同时输出违反规则的详细说明和修复示例。
介绍
在航空航天、汽车、医疗设备等安全关键领域，代码的微小缺陷可能导致灾难性后果。本 Skill 将 NASA 著名的 Power of 10 规则（如限制控制流复杂度、禁用动态内存分配、要求严格的数据封装等）直接集成到你的编码工作流中，自动扫描代码并标记违反规则的位置，确保代码具备可验证、高可靠、低风险的特征。
你只需在开发过程中或代码审查阶段对 AI 说“检查这段代码是否符合 NASA Power of 10 规则”，它便会逐条分析你的代码，给出违反规则的详细说明和修改建议。支持多种主流语言（C/C++、Python、Java 等），并可与 CI/CD 流程结合，实现提交前自动门禁。
适合后端开发、智能体开发、测试工程师以及任何需要编写安全关键代码的开发者，特别是汽车电子、航电系统、医疗器械、工业控制等领域的从业人员。如果你是嵌入式系统开发者或正在编写符合 DO-178C / ISO 26262 标准的代码，这个 Skill 能帮你快速收敛到合规状态。
使用时建议先理解规则背后的设计哲学，而非机械地修复每一个警告。对于原型或非安全关键项目，这些规则可能过于严格，请根据项目实际风险等级酌情启用。另外，该 Skill 不会替代正式的安全认证流程，但能作为早期质量门控大幅降低后期审计成本。
核心特点
其他代码质量工具主要关注通用坏味道或性能，而本 Skill 严格遵循 NASA 官方发布的 Power of 10 安全关键编码规则，每条规则都直接对应 DO-178C / IEC 61508 等安全标准的具体要求，具备航空航天级验证强度。
注意事项
不适用于非安全关键领域的快速原型开发、脚本语言项目或对性能有极致压榨需求的场景（规则限制动态内存分配）。
常见问题
NASA Power of 10 规则具体包含哪些？
包括限制函数行数、禁用 goto、限制指针使用、禁止动态内存分配、要求所有变量初始化、强制使用静态分析工具等 10 条规则，详情可参考 NASA 原始论文。
这个 Skill 能直接替代安全认证吗？
不能。它仅作为编码阶段的规则检查工具，帮助你提前发现不符合项，最终仍需通过正式的安全认证流程（如 DO-178C 的验证与确认）。
给 AI 助手的安装指引
如果你的 AI 编程助手（Claude Code、Cursor、TRAE 等）能看到这个页面，把下面这段发给它即可自动完成安装：
请访问 https://321skill.com/skills/safety-critical-patterns-x-2/raw/index.md 读取 safety-critical-patterns 的原始 Skill 定义（Markdown 格式），按其中说明在我的环境里完成安装和配置。
AI 可直接读取的原始 Markdown 地址：/skills/safety-critical-patterns-x-2/raw/index.md（查看排版版本）