指导如何在此仓库中创建或修改 GitHub Actions 工作流。当被要求更新 CI/CD 管道时，可使用此技能。
针对定理证明任务，研究 Lean 4 与 Mathlib。适用于 Lean 语言的研究时，可触发此技能。
指导如何在此仓库中创建或修改 Bash 脚本。当被要求编写或更新简单的运维脚本时，可使用此技能。
针对定理证明任务，研究 Lean 4 与 Mathlib。当需要使用 LeanSearch、Loogle，以及 lean-lsp 工具进行 Lean 语言的研究时，可触发此技能。
启动技能启动器 GUI，浏览各类技能并将技能名称复制到剪贴板。支持直接执行——无需进行代码搜索。
根据任务语言与状态，将命令路由至相应的工作流。
利用 lean-lsp 工具实施 Lean 4 的证明与定义。适用于 Lean 语言的实施任务时使用。
在 specs/TODO.md 与 specs/state.json 中以原子级方式同步更新任务状态。
通过点击按钮、填写表单、导航链接等操作与网页进行交互。该技能利用 Chrome DevTools 协议（CDP）对 Google Chrome 进行远程控制。当代理需要浏览网页时，便可借助此技能完成相关操作。
扫描代码库，查找 FIX:/NOTE:/TODO: 标签，并通过交互式选择创建结构化任务。适用于 /learn 命令时使用。
在合并前进行质量门审核。依据 React/Next.js 最佳实践与 SOLID 原则，对分支变更进行审查，并清除 AI 代码中的冗余与漏洞。
为任务操作创建作用域明确的 Git 提交。在任务状态变更或工件生成后触发。