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/raw/index.md 请读取该页面内容，如果是 SKILL.md 格式直接安装，如果是 README 提炼核心 prompt 后安装。
提示词包含完整的 Skill 内容链接，AI 读取后即可完成安装。你也可以 查看完整内容 确认无误。
使用示例
‘请使用safety-critical-patterns技能，分析我当前目录下的src/control.c文件，检查它是否符合NASA Power of 10规则。’，它会运行静态分析，列出所有违反规则的代码行，例如指出函数嵌套过深、使用了禁止的指针运算或动态内存分配，并给出简明的修改建议。
介绍
该Skill旨在解决安全关键系统（如航空航天、医疗设备、汽车电子等）中代码的可靠性与可验证性问题。它通过静态分析工具，自动检查代码是否违反NASA喷气推进实验室（JPL）提出的《Power of 10》编码规则，这些规则旨在通过限制代码复杂性来最大程度地减少灾难性软件故障的风险。
使用时，开发者只需将代码库路径或代码片段提供给该Skill，它便会运行检查，识别出违反《Power of 10》规则（例如：函数圈复杂度过高、使用动态内存分配、存在递归等）的代码位置，并给出具体的违规说明和修复建议。
它非常适合从事嵌入式系统、高可靠性软件、安全关键应用开发的后端工程师、全栈开发者和测试工程师，尤其是那些需要满足行业安全标准（如DO-178C、ISO 26262）的团队。
使用建议：建议将其集成到CI/CD流程中，作为代码提交前的强制性检查环节。需要注意的是，该Skill主要关注代码的静态安全属性，不能替代动态测试、形式化验证或全面的安全审计。对于非安全关键或追求极致灵活性的业务代码，其严格的规则可能显得过于约束。
核心特点
与通用代码质量检查工具（如ESLint、SonarQube）不同，它严格聚焦于NASA JPL《Power of 10》这一套专门为安全关键、可验证软件设计的编码规则集，提供了针对嵌入式和高可靠性领域的、标准化的合规性检查。
注意事项
不适合用于检查非安全关键的业务应用代码或需要高度灵活性和复杂算法的探索性项目。
常见问题
NASA Power of 10规则具体指什么？
这是NASA JPL为编写极高可靠性、可验证的C语言代码而制定的十条编码规则，旨在通过限制复杂度（如禁止递归、限制循环和分支深度等）来减少错误。
这个Skill支持哪些编程语言？
根据仓库描述，它主要面向遵循《Power of 10》规则的代码，通常以C语言为核心，但具体支持语言需查看其实现工具。
给 AI 助手的安装指引
如果你的 AI 编程助手（Claude Code、Cursor、TRAE 等）能看到这个页面，把下面这段发给它即可自动完成安装：
请访问 https://321skill.com/skills/safety-critical-patterns-x/raw/index.md 读取 safety-critical-patterns 的原始 Skill 定义（Markdown 格式），按其中说明在我的环境里完成安装和配置。
AI 可直接读取的原始 Markdown 地址：/skills/safety-critical-patterns-x/raw/index.md（查看排版版本）