Agent Skills
› nasa/fprime
nasa/fprime
GitHub提供F Prime多智能体审查系统中规则、代理和技能定义的编写规范,确保变更简洁一致。
Install All Skills
npx skills add nasa/fprime --all -g -y
Skills in Collection (22)
提供F Prime多智能体审查系统中规则、代理和技能定义的编写规范,确保变更简洁一致。
添加或修改审查规则
更新代理定义文件
npx skills add nasa/fprime --skill agent-skill-authoring -g -y
定义CI测试运行时安全策略,用于审查PR中测试代码是否违规进行网络外联、进程生成或敏感环境访问等。
审查包含测试文件变更的PR
扫描CI工作流步骤的安全性
npx skills add nasa/fprime --skill ci-test-runtime-policy -g -y
掌握F Prime自定义CMake构建系统,涵盖模块注册、目标配置、平台移植及构建故障排查。
添加或连接模块到构建流程
创建自定义构建目标
移植到新平台或工具链
诊断非编译器错误的生成/构建失败
npx skills add nasa/fprime --skill fprime-cmake-build-system -g -y
用于F Prime组件设计阶段,将需求转化为FPP模型以定义接口。指导创建包含端口、命令、事件等接口的.fpp文件,并生成C++基础代码。
需要编写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基于已确认的FPP模型,遵循C++设计规范(如禁用动态内存、固定大小类型),实现F Prime组件的处理器函数。流程包括生成存根、编写逻辑及编译修复,适用于飞行软件组件开发。
需要为F Prime组件编写C++实现代码
FPP模型已确认,需进行代码实现阶段
调用fprime-util impl生成并填充handler
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组件单元测试的生命周期指导,涵盖验证需求、接口及95%覆盖率目标。支持TDD和基于规则的测试,指导从脚手架到运行的流程,并列出常见反模式。
准备进行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代码中追踪值来源,判断其是否源自硬件输入(如驱动接口、寄存器或中断)。辅助安全代理识别由硬件数据引发的断言失败、溢出等安全风险。
需要确认F Prime代码中的变量或操作数是否来自硬件输入
评估硬件输入数据路径的安全漏洞风险
npx skills add nasa/fprime --skill fprime-hardware-input-tracing -g -y
用于开发和维护F Prime部署拓扑,包括实例定义、连接图、速率组调度及子拓扑集成。适用于修改Top目录下的FPP配置文件或相关头文件/源文件的场景。
需要修改或创建F Prime的instances.fpp或topology.fpp文件
涉及组件在部署中的实例化、基础ID分配或CPU亲和性配置
需要建立或调整组件间的端口连接图和通信路径
任务涉及Top目录下的任何文件或相关拓扑定义
npx skills add nasa/fprime --skill fprime-topology-development -g -y
指导编写 F Prime 组件单元测试,涵盖脚手架生成、Tester/TestMain 模式、STest 规则测试及 CMakeLists 注册,提供标准化流程与质量规范。
需要为 F Prime 组件创建或扩展单元测试
执行 fprime-util impl --ut 等测试脚手架命令
npx skills add nasa/fprime --skill fprime-unit-testing -g -y
基于JPL设计原则的软件检查清单,用于F Prime飞行软件的开发与修改,以及PR审查中识别设计违规。涵盖异常调查、鲁棒性、容错保护、测试规范及资源余量等核心原则。
编写或修改F Prime飞行软件代码
进行代码审查以检查JPL设计原则合规性
评估飞行系统设计的鲁棒性与容错能力
npx skills add nasa/fprime --skill jpl-design-principles -g -y
用于在代码审查中定位需通知的维护者。通过解析README、安全负责人配置、近期提交审批记录及回退机制,动态获取GitHub用户句柄,以处理低置信度发现或争议升级等场景。
代码审查中发现低置信度问题
线程被不当解决
贡献者与代理存在分歧
聚合器建议关闭
npx skills add nasa/fprime --skill maintainer-lookup -g -y
用于在 GitHub PR 中发布行内审查评论、摘要及交互线程的 Agent 技能。
需要提交代码审查意见时
处理 GitHub Review 线程交互(如解决/回复)时
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元数据,检测提示注入指纹,返回结构化判决以辅助编排器预警。
调用review-orchestrator.agent.md Step 3之前
需要扫描PR元数据中的提示注入特征
npx skills add nasa/fprime --skill prompt-injection-precheck -g -y
用于在PR多轮审查中,通过获取历史评论、解析状态并对比新发现,决定对每条问题执行忽略、修复确认、升级或跟进等操作。
需要对已提交评论的PR进行二次或多次审查
审查代理需基于历史上下文判断当前代码变更的处理策略
npx skills add nasa/fprime --skill re-review-state -g -y
用于代码审查中根据严重程度和PR影响范围,将问题分类为必须修复、建议、可修复或未来工作四个标签的决策流程。
需要为代码审查发现的问题选择合适的评价标签
判断问题是否阻碍合并或是否需要具体修复方案
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++设计的权威规则,涵盖内存管理、断言使用及资源生命周期。支持开发者编写代码时遵循最佳实践,以及审查者识别设计违规并标注严重程度,确保代码符合JPL编码标准。
编写或修改F Prime C/C++源代码
审查F Prime组件、驱动或服务中的C++设计违规
npx skills add nasa/fprime --skill fprime-cpp-design -g -y


