Agent Skills
› nasa/fprime
nasa/fprime
GitHub提供F Prime多智能体审查系统中规则、Agent和Skill的编写与修改指南,确保变更简洁一致,便于AI解析。
Install All Skills
npx skills add nasa/fprime --all -g -y
Skills in Collection (25)
提供F Prime多智能体审查系统中规则、Agent和Skill的编写与修改指南,确保变更简洁一致,便于AI解析。
添加或修改审查规则
创建或更新Agent定义
配置Skill目录结构
npx skills add nasa/fprime --skill agent-skill-authoring -g -y
将AI会话上下文转换为Markdown格式报告,支持逐条追加和从事件历史回溯生成。
需要记录AI会话的提示与响应内容
从会话事件历史中重建或补全报告
npx skills add nasa/fprime --skill ai-session-report -g -y
将AI会话上下文(提示与响应)或报告压缩为本地Markdown摘要,包含PR表格及请求、结果等章节。通过Python脚本自动化生成结构化总结。
需要总结AI代理会话内容
整理Devin等Agent的工作产出与经验教训
npx skills add nasa/fprime --skill ai-session-summary -g -y
定义CI测试运行时安全策略,用于审查PR中测试代码、fixtures及CI流程是否存在网络外联、子进程调用、敏感环境访问等违规风险。
扫描PR diff中的测试或CI文件变更
检查是否存在违反运行时的安全策略行为
npx skills add nasa/fprime --skill ci-test-runtime-policy -g -y
用于处理 F Prime 框架的自定义 CMake 构建系统,涵盖模块注册、目标配置、工具链适配及平台移植,辅助解决非编译器类的生成与构建故障。
向构建中添加或连接新模块
添加自定义构建目标
移植到新平台或工具链
定义或选择 OS 实现
诊断非编译器错误的构建失败
npx skills add nasa/fprime --skill fprime-cmake-build-system -g -y
用于F Prime组件设计阶段,将需求转化为FPP模型以定义接口。指导创建端口、命令、事件等,生成C++基础代码,确保设计符合框架规范与模式。
确认需求后编写.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
指导基于F Prime框架和FPP模型生成C++组件实现,填充处理函数桩并遵循严格编码规范。
需要实现F Prime C++组件
根据确认的FPP模型编写代码
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场景,旨在通过自动化测试保障代码质量与覆盖率。
组件实现完成准备进行单元测试时
遵循测试驱动开发(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
调整F Prime部署中的组件连接与实例配置
涉及Top/目录的变更
npx skills add nasa/fprime --skill fprime-topology-development -g -y
指导编写F Prime组件单元测试,涵盖脚手架生成、Tester类结构、STest规则测试及CMake注册。强调通过helper函数封装和规则复用提升质量,并新增提交后重构与回归检查流程以确保代码整洁。
需要为F Prime组件创建或扩展单元测试时
执行fprime-util impl --ut进行测试脚手架生成时
优化现有单元测试结构或修复测试回归问题时
npx skills add nasa/fprime --skill fprime-unit-testing -g -y
提炼JPL飞行软件设计原则,用作开发检查清单和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
用于 F Prime PR 审查 Agent 发布 GitHub 行内评论、总结评论及线程交互的技能,支持 Suggestion 语法与批量评论提交。
需要向 GitHub PR 发布行内代码审查意见
需要提交单轮审查的总结性评论
需要处理 GitHub 审查线程的解决或回复操作
npx skills add nasa/fprime --skill post-inline-review -g -y
用于在代码审查中判断问题是否由当前PR引入。通过检查行变更或新调用者扩大执行路径,将发现分类为必须修复或未来工作,以支持准确的Triage决策。
需要判断安全或质量扫描发现是否由当前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
该Skill定义了代码审查代理在PR的二次及后续审查中的行为机制。通过获取并解析历史评论、线程状态及元数据,计算稳定的发现键,决定是忽略、修复、升级争议还是发布跟进,确保审查的一致性与准确性。
对已有评论的PR进行重新审查
审查代理执行第二轮或后续轮次的PR评审
npx skills add nasa/fprime --skill re-review-state -g -y
用于代码审查场景,根据发现问题的严重性及是否由当前PR引入,将其分类为must fix、suggestion、could fix或future work四个标签之一。
代码审查中的问题定级
决定评论标签类型
npx skills add nasa/fprime --skill triage-classifier -g -y
分析F Prime组件、子拓扑或多组件子系统,编写面向系统工程师的高级系统功能文档。通过读取模型和源码识别能力范围,参考现有文档风格,生成描述功能而非实现细节的文档。
需要为F Prime组件或子系统编写系统功能文档
请求分析指定路径的功能并生成docs/reference/system-functional/下的文档
npx skills add nasa/fprime --skill write-system-functional-doc -g -y
提供F Prime飞行软件C/C++设计的权威规则与惯用法,用于开发者编写代码及审查者识别违规。涵盖内存管理、对象生命周期、断言使用等核心规范,确保代码符合JPL标准及框架类型要求。
编写或修改F Prime C/C++组件实现
进行F Prime代码设计审查
处理驱动程序或服务中的内存与资源管理问题
npx skills add nasa/fprime --skill fprime-cpp-design -g -y
针对 F Prime 现有代码的维护技能,遵循最小变更原则进行缺陷修复、小改动及依赖更新。严格限制重构范围,仅允许相邻的低风险技术债清理,确保改动最小化并需工程师审批。
修改 F Prime 现有代码
修复 F Prime 缺陷
F Prime API 或依赖更新
F Prime 代码清理
npx skills add nasa/fprime --skill fprime-maintenance -g -y


