TLE 开发者 FlagOS
将以下提示词粘贴到你的 AI 对话框中:
请根据 https://skillhub.cn/install/skillhub.md,安装 @user_e10c831c/tle-developer-flagos。
技能介绍
要解决什么问题
TLE(Tensor Language Extension 一类内核/编译栈工作)往往横跨 kernel 编写、API / verifier / lowering / pipeline 改动,以及 correctness、性能与回归排查。团队常见痛点是:文档散落、环境脚本各项目不同、改 native Triton 时缺少统一标记规范,导致验证步骤和合并材料难以复现。
技能如何组织工作
本技能把单次任务当作一条固定流水线:intake → 实现 → 验证 → 产物 → 合并决策。启动任务前必须按顺序阅读 references/tle-sources.md(技术真源:quickstart、语义契约、kernel 模式、功能开发文件地图、debug/perf 流程)与 references/workflow-templates.md(intake、验证矩阵、性能记录、fix summary、lessons、merge package 模板)。
执行层面强调:
- 不依赖技能文件夹外的文档;深度说明放在
references/。 - 每轮任务产出 Validation 命令与结果;修 bug/回归时写 Fix Summary 与 Lessons Entry;收尾给出 Merge Decision Package(变更层、风险、后续项)。
- 完成清单要求:验收标准对应测试、可复现命令验证、模板填齐、残留风险写清楚。
适用边界与硬约束
- 禁止假设固定的 Python 环境名或固定 build 脚本名;以
tle-sources.md为准。 - 修改 native Triton 相关文件时,使用
// begin flagtree tle与// end flagtree tle标记块;不要在third_party/tle内添加标记块。 - 适合已具备 TLE/FlagOS 代码库上下文、需要按工程化模板交付验证与合并材料的开发任务;不适合替代仓库内未收录的私有规范。
使用场景
- 在 FlagOS/TLE 代码库里新增或改写 kernel,需要按模板完成 intake、可复现验证命令与 merge 决策材料
- 为 verifier、lowering 或 pipeline 接新语义,要对照 tle-sources 文件地图定位改动并填验证矩阵
- 线上或 CI 出现 correctness/性能回归,需产出 Fix Summary、Lessons Entry 与残留风险说明
- 修改 native Triton 源文件时,需在 flagtree tle 标记块内改动并避免动 third_party/tle
适合人员
- 负责 TLE lowering/verifier 的后端工程师,希望每次改语义都有统一验证矩阵与合并清单
- 写 Triton TLE kernel 的算子开发者,需要在不改乱 third_party 的前提下按标记规范提交补丁
- 维护 FlagOS 编译管线的 feature owner,要把 API/管线变更映射到测试验收与 follow-up 项
- 排查跨版本性能回退的工程师,需要把 perf 记录与 lessons 写进技能模板便于团队复盘