Agent Skills
› nasa/fprime
nasa/fprime
GitHub指导在F Prime多智能体审查系统中创建和修改Agent规则、技能及定义文件的规范,强调简洁一致性与正确关联。
Install All Skills
npx skills add nasa/fprime --all -g -y
Skills in Collection (24)
指导在F Prime多智能体审查系统中创建和修改Agent规则、技能及定义文件的规范,强调简洁一致性与正确关联。
添加或修改审查规则
更新Agent定义文件
配置多智能体系统技能
npx skills add nasa/fprime --skill agent-skill-authoring -g -y
将AI会话上下文(提示与响应)转换为本地Markdown报告,支持逐条追加和基于事件历史回填。严格保留原文并自动脱敏密钥,不涉报告投递逻辑。
需要记录AI Agent会话交互内容
从会话事件历史回溯生成报告
npx skills add nasa/fprime --skill ai-session-report -g -y
将AI会话上下文压缩为Markdown摘要,包含PR表格、请求、结果及经验教训。
需要总结AI会话内容
生成会话报告
npx skills add nasa/fprime --skill ai-session-summary -g -y
定义CI测试运行时安全策略,用于审查PR中测试代码及CI流程的网络连接、子进程调用等违规风险。
审查包含测试或CI变更的Pull Request
检测测试环境中的不安全运行时行为
npx skills add nasa/fprime --skill ci-test-runtime-policy -g -y
提供F Prime CMake构建系统的API、模块注册及配置指南,辅助添加模块、定制构建目标或排查生成/构建失败问题。
添加或连接模块到构建系统
添加自定义构建目标
移植到新平台或工具链
诊断非编译器错误的生成/构建失败
npx skills add nasa/fprime --skill fprime-cmake-build-system -g -y
用于F Prime组件设计阶段,指导Agent将需求转化为FPP模型以定义接口。包含确认需求、选择组件类型、定义端口等步骤,并参考标准设计模式。
需要编写F Prime组件的.fpp文件时
组件接口设计阶段
npx skills add nasa/fprime --skill fprime-component-design-fpp -g -y
指导F Prime飞行软件组件的全生命周期开发,涵盖需求、设计、实现及测试阶段。强调严格顺序、用户确认和TDD,确保航天级代码质量与规范。
创建新的F Prime组件
为现有组件添加重大功能或修改接口
npx skills add nasa/fprime --skill fprime-component-development -g -y
指导Agent基于F Prime FPP模型生成C++组件实现代码。通过autocoder生成处理函数桩,并遵循特定设计模式与编码规范完成具体逻辑实现。
FPP模型已确认,需编写C++组件实现
需要填充F Prime框架生成的纯虚函数桩
npx skills add nasa/fprime --skill fprime-component-implementation -g -y
指导为F Prime组件编写基于pytest的可复用集成测试,通过GDS API验证命令、事件和遥测。适用于单元测试通过后,需对运行中部署的组件进行交互验证的场景。
F Prime组件单元测试已通过,准备进入集成测试阶段
需要为现有组件创建可复用的集成测试用例
npx skills add nasa/fprime --skill fprime-component-integration-test -g -y
指导F Prime组件开发的需求阶段,引导智能体通过提问收集上下文、定义行为与接口需求,生成可验证的规范文档。
开始新组件开发
用户要求定义需求
npx skills add nasa/fprime --skill fprime-component-requirements -g -y
F Prime组件单元测试技能,提供测试生命周期、目标及决策标准。支持TDD和基于规则的测试,旨在验证需求与接口,追求95%覆盖率,并规避常见反模式。
F Prime组件实现完成待测试
遵循TDD流程在实现前编写测试
npx skills add nasa/fprime --skill fprime-component-unit-test -g -y
用于在F Prime代码中追踪数值来源,判断其是否源自地面输入(如指令、参数、上行链路等),以辅助安全代理识别断言溢出路径和验证漏洞。
分析F Prime组件中的数值来源
检查断言或算术操作涉及的数据是否受地面控制
安全审计中的地面输入可达性评估
npx skills add nasa/fprime --skill fprime-ground-input-tracing -g -y
用于在F Prime代码中追踪数据源头,判断值是否源自硬件输入(如驱动接口、寄存器或中断)。旨在识别由硬件异常引发的DoS、DDoS及未验证输入导致的漏洞,辅助安全审计。
分析F Prime代码中的数据来源安全性
检查硬件输入路径是否存在验证缺失
评估驱动组件接收数据的潜在风险
npx skills add nasa/fprime --skill fprime-hardware-input-tracing -g -y
用于开发和维护F Prime框架部署拓扑,包括实例定义、连接图、优先级及子拓扑配置。当任务涉及Top目录或相关FPP文件时触发。
修改instances.fpp或topology.fpp
调整组件连接图或基ID
配置队列/堆栈/优先级
处理子拓扑或相位初始化
npx skills add nasa/fprime --skill fprime-topology-development -g -y
提供F Prime组件单元测试的完整工作流,涵盖脚手架生成、Tester类实现、STest规则测试及CMake注册,旨在提升测试质量与覆盖率。
需要为F Prime组件编写单元测试
扩展或重构现有F Prime组件测试代码
npx skills add nasa/fprime --skill fprime-unit-testing -g -y
基于JPL设计原则的软件蒸馏,作为F Prime飞行软件开发的检查清单和PR审查参考,涵盖故障保护、测试、容错及资源余量等核心准则。
编写或修改F Prime飞行软件代码时进行自查
在Pull Request中审查代码是否符合JPL设计原则
npx skills add nasa/fprime --skill jpl-design-principles -g -y
用于在代码审查中识别并获取正确的 GitHub 维护者账号,以处理低置信度发现、解决争议或升级问题。通过解析 README、安全主管信息、近期审批记录及回退机制,确保找到合适的责任人进行 @cc 通知。
代码审查中发现低置信度问题需要上报
线程被错误解决需要重新评估
贡献者与代理存在分歧需升级处理
判断某 GitHub 登录是否为核心维护者
npx skills add nasa/fprime --skill maintainer-lookup -g -y
用于在GitHub PR中发布行内审查评论、生成Agent摘要或管理审查线程交互的标准化流程。
需要提交PR行内代码建议时
需要发布Agent独立审查报告时
需要回复或解决PR审查线程时
npx skills add nasa/fprime --skill post-inline-review -g -y
用于代码审查中判断问题是否由当前PR引入,区分必须修复与未来工作。
分析PR差异以定位缺陷来源
审查代码变更影响范围
npx skills add nasa/fprime --skill pr-diff-scoping -g -y
在审查代理调用前扫描PR元数据以检测提示注入指纹,返回结构化判决供编排器使用。作为纵深防御机制,辅助识别覆盖指令等风险模式。
PR元数据需预先检查是否存在提示注入攻击特征
编排器需要在聚合摘要中提前暴露安全风险
npx skills add nasa/fprime --skill prompt-injection-precheck -g -y
用于PR二次审查的自动化技能,通过解析历史评论元数据与线程状态,计算稳定发现键并依据决策表决定处理动作(如忽略、解决或升级)。
对已有评论的PR进行重新审查
审查代理执行第二轮及后续PR审查
npx skills add nasa/fprime --skill re-review-state -g -y
用于代码审查中根据发现问题的严重性和影响范围,将其分类为必须修复、建议、可修复或未来工作四个标签的决策流程。
对代码审查发现的问题进行分类打标
确定审查意见的严重程度和修复优先级
npx skills add nasa/fprime --skill triage-classifier -g -y
分析F Prime组件或子系统,编写面向系统工程师的高层系统功能文档。通过阅读FPP模型、SDD及源码,识别功能边界与交互,生成描述整体能力而非实现细节的参考文档。
需要为F Prime组件或子系统编写高层功能说明
输入包含组件路径、子拓扑或多组件协作场景
npx skills add nasa/fprime --skill write-system-functional-doc -g -y
提供F Prime飞行软件C/C++设计的权威规则,作为开发者编写代码和审查者检查违规的参考,涵盖内存、断言等规范。
编写或修改F Prime C++源代码
进行F Prime代码设计审查
npx skills add nasa/fprime --skill fprime-cpp-design -g -y


