dev-gate
dev-gate(capsem-gate)是 capsem 项目的构建与发布门禁系统,用 justfile 派发、由 src/capsem/gate/ 决策,负责统一执行 build、test、release 逻辑。适合在改动构建、测试或发布流程,或触及边界、原语、递归与纯度规则时了解。
找到适合任务的 Agent Skill,阅读介绍并复制安装命令。
更新于 11-03 00:11
13,056 个结果
dev-gate(capsem-gate)是 capsem 项目的构建与发布门禁系统,用 justfile 派发、由 src/capsem/gate/ 决策,负责统一执行 build、test、release 逻辑。适合在改动构建、测试或发布流程,或触及边界、原语、递归与纯度规则时了解。
Capsem 测试策略与工作流技能,用于运行或编写测试时遵循。涵盖测试编写位置、TDD 流程、功能切片证据矩阵、IronBank 黑盒验收、并行测试与进程生命周期等规则。
用于测试 capsem 虚拟化层(Apple VZ 与 KVM)的技能说明,覆盖 VM 配置、VirtioFS、vsock、串口控制台和后端抽象;给出单元测试、集成测试、CI 设置及变更时应运行的测试命令。
capsem 的 VM 内诊断与测试夹具技能,用于在客户机内添加测试、调试失败或更新测试夹具。诊断套件基于 pytest,测试文件烘焙进 rootfs,可通过 just exec 运行。
Ironbank 是 Capsem 的黑盒验收测试纪律,用于发布、VM、网络、模型、MCP、凭据代理、包管理器、doctor、基准与安全验收,强调只依据公开契约编写测试,不查看内部实现。
Skia 仓库新增测试的技能,指导在 tests/ 目录创建 C++ 单元或集成测试,并接入构建系统、编译 dm 工具与运行指定测试。
dev-prompt-canary 是 googlechrome/modern-web-guidance-src 项目中的一套经验性验证工作流,用于在修改 gd dev 的编写与评分提示词(src/authoring/dev-prompts.ts、src/authoring/dev.ts、src/grading/generate-grader.ts、src/grading/template.grader.ts)后,验证 LLM 实际生成的 task.md 与 grader.ts 是否符合 project-evals 中的规则。由于单元测试只能检查提示词模板中的子串是否存在,无法发现行为回归,因此该工作流通过增量再生成机制(仅重生成 task.md 约 45 秒,仅重生成 grader.ts 约 2–3 分钟)在隔离的临时 worktree 中运行并行 canary 子代理,覆盖 task.md 再生成矩阵、grader.ts 再生成与留出第四解压力测试、以及空泛守卫与条件期望 canary 等实验,并要求留出解达到 100% 通过率。
用于在 Google Evalbench 框架下,针对指定黄金数据集评估已生成 ContextSet 的技能,负责组织评估实验并运行评估流程。
用于 Next.js 现代化应用与旧版 Express 应用之间的运行时并行对等审计,通过并排验证确保功能一致。属于开发流程中的质量与验证环节。
这是一个用于编排多代理并行测试执行的技能:它通过 define_subagent 注册自定义的 test_suite_runner 子代理,将单元、集成、E2E、API 契约、安全等测试套件分发到隔离的工作区分支上并发执行,并汇总各子代理返回的执行报告、通过/失败指标与根因诊断。
读取 API_Contracts.md,为预期的 Next.js Route Handlers 生成会失败的 Vitest 集成测试,用于 TDD 的 API 测试生成技能。
为现代 Next.js 应用安装并配置 Vitest 测试环境的技能,属于 TDD 脚手架工具,用于搭建运行 Vitest 所需的依赖、配置文件和脚本。
kiro-validate-impl 是一个在功能级任务全部实现后执行的集成验证技能,用于检查跨任务一致性、完整测试套件与规格覆盖情况。它从对话历史或规格目录中识别已实现的功能与任务,加载 requirements.md、design.md、tasks.md 等规格与核心引导上下文,并发现仓库中规范的测试、构建与冒烟命令。验证分为机械检查和判断检查:机械检查包括运行完整测试套件、搜索遗留的 TBD/TODO/FIXME、搜索硬编码密钥、执行运行时冒烟启动;判断检查包括跨任务接口与数据流一致性、需求覆盖缺口、设计端到端对齐、边界审计以及被阻塞任务与实现说明。最终输出 GO、NO-GO 或 MANUAL_VERIFY_REQUIRED 的验证报告,包含测试结果、集成状态、覆盖情况、设计漂移、问题归属和补救步骤。该技能不替代任务级评审,只关注任务整体完成后是否仍遵守设计边界与依赖方向。
kiro-verify-completion 是一个用于在声称“任务完成、修复生效、测试通过或功能可发布”之前,用当前代码状态的新鲜证据进行核验的技能,避免虚假完成声明。
Proofline Check 是 Proofline 技能集合中的一项 Agent 指令,用于在现有编码代理完成一次改动后,可选地对一个已冻结的候选版本运行调用方指定的可执行检查,并报告观察到的失败与证据。它本身不包含 Proofline Python 运行时,安装指令不等于运行时;使用前需在受支持的 macOS 主机上定位包含 proofline.py 和 checks/ 的完整本地检出。check 命令不使用任何模型调度,要求 macOS、Python 3.11+ 和 Codex CLI 0.162.1(仅沙箱,无需模型认证),会对隔离副本运行所选命令并保留可回读的报告。可选 run 命令需认证和干净 Git 源,用于一次受管编码尝试,--correct-once 可对同一原生实现线程进行一次后续修正。
用于设计单元/集成测试用例的智能体技能:判断代码是否值得测试,从行为契约列出用例,选取等价类与边界代表点,只断言返回值、可观察状态和副作用边界,并限制 mock 只替换外部依赖。
一个端到端工作流技能:按计划实现代码,用 Graphite CLI 创建分支与 PR,等待代码评审并迭代反馈。适用于用户要求实现计划、创建 PR 并跟进评审意见的场景。
Verifier 是用于验证实现结果的子智能体技能,按 verification_spec 顺序执行检查,首个错误即快速失败,并以证据报告 PASS 或 FAIL,不修改代码。
weaver-base 是一个「编织者」基础技能:按规范实现代码、派生验证子代理验证、失败时最多修复 5 轮,通过后创建 PR。测试文件仅用于验证,永不提交。
Forge 的 DEV 阶段技能,用于把 /plan 生成的 tasks.md 与 plan.md 落地为可提交、有测试支撑的代码。每个任务按实现者→规格合规评审→代码质量评审的子代理循环执行,强制 TDD,之后进入 /validate。
test-lane 是 Forge 仓库中的测试分流说明,用于解释推送为何突然变慢、何时会触发全量单元测试,以及新增顶层路径时如何让改动回到快速定向测试通道。
Forge 工作流中的 VALIDATE 阶段命令,作为创建 PR 前的质量门禁:先把分支 rebase 到最新基分支,再依次执行类型检查、Lint、代码审查、安全审查与测试,全部通过后才可进入 /ship。
为现有代码创建特征测试(Golden Master),锁定当前可观察行为,以便安全重构、替换或渐进式改造行为不清晰、杂乱或由 AI 生成的子系统。
Walking Skeleton 技能用于在新项目开始时搭建“可行走骨架”:一个最薄的可运行系统,用来端到端验证构建、测试与运行流程是否打通。它只建立最小项目结构、一个通过的测试和一条可执行路径,不包含业务功能。