specrail-check-impl-against-spec
用于将 SpecRail 实现、diff 或 PR 与其关联 issue、产品规格、技术规格和任务计划进行对照检查的技能,报告验收覆盖情况、缺失项、偏差与额外范围,并给出最小修正建议。
找到适合任务的 Agent Skill,阅读介绍并复制安装命令。
更新于 11-03 00:11
13,072 个结果
用于将 SpecRail 实现、diff 或 PR 与其关联 issue、产品规格、技术规格和任务计划进行对照检查的技能,报告验收覆盖情况、缺失项、偏差与额外范围,并给出最小修正建议。
根据新写的函数或组件自动建议并生成基础测试骨架的技能,可识别项目测试框架并输出单元测试与边界用例,复杂测试仍建议交给 @test-engineer 子代理。
code-review-testing 是 manaflow-ai/codex 项目中的一项测试编写指导技能,用于规范 Codex 相关改动的测试方式。其核心要求是:针对 agent 改动的测试优先使用集成测试而非单元测试;集成测试位于 core/suite 目录下,并通过 test_codex 搭建 codex 的测试实例。该指导明确指出,凡是改变 agent 逻辑的功能,必须新增集成测试,并需列出需要测试的主要逻辑变更和面向用户的行为清单。若确有必要编写单元测试,则应放入专门的测试文件(命名形如 *_tests.rs),同时避免在主实现中放置仅用于测试的函数。此外还要求检查是否已有现成辅助工具,以便让测试更简洁、更易读。资料未提供安装命令、价格、平台支持及使用步骤等信息,这些内容暂未提供。
remote-tests 是 manaflow-ai/codex 项目中的一项技能文档,介绍如何使用远程执行器(remote executor)运行集成测试。当设置了 CODEX_TEST_REMOTE_ENV 环境变量时,部分 codex 集成测试会尝试在 docker 容器中启动一个执行器进程,并将该容器用于测试;该变量指向对应的 docker 容器。docker 容器通过 ./scripts/test-remote-env.sh 构建并初始化。目前远程测试仅在 Linux 上受支持,因此需要使用 devbox 来运行。可以通过 applied_devbox ls 列出 devbox,选择名称中包含 codex 的那个,并使用 ssh <devbox_name> 连接。建议复用 ~/code/codex 中的同一份 codex 检出,必要时重置文件;多个检出会延长构建时间并占用更多空间。同时需要检查远程与本地之间的 SHA 和已修改文件是否同步。
test-tui 是托管在 skills.sh 上、隶属 manaflow-ai/codex 来源的一个技能(skill),标题为“Guide for testing Codex TUI interactively”,即面向交互式测试 Codex TUI(终端用户界面)的指南。它说明可以启动并使用 Codex TUI 来验证改动,并给出若干操作要点:应以交互方式启动;启动进程时始终设置 RUST_LOG="trace";传入 -c log_dir=<some_temp_dir> 参数,将日志写入指定目录以便调试;在通过程序方式发送测试消息时,应先发送文本,再单独发送 Enter(不要把文本与 Enter 放在同一次写入中发出);可使用 just codex target 运行,形如 just codex -c ...。该技能用于在开发或验证 Codex 终端界面时进行受控的交互测试与日志排查。除上述内容外,其具体实现细节、支持平台、收费情况等事实暂未提供。
dotnet-diagnostics-mcp 是一个 .NET 诊断类 MCP 服务器,用于在 MCP 驱动的流程中对 .NET 应用进行 CPU、内存分配、GC 以及测试宿主(test-host)性能分析。它通过 dotnet 全局工具安装,并以 stdio 方式注册到支持 MCP 的客户端(如 Claude Desktop、Cursor 风格配置)。安装后提供 inspect_process、collect_batch、collect_sample、collect_events、query_snapshot 等工具,可定位进程、批量采集 CPU 与托管分配样本、查询调用树,从而发现热点与瓶颈。典型用途包括对单元测试套件进行性能剖析、调查运行时 CPU 热点、分配压力、GC 暂停或等待问题。使用时需先构建 Release 二进制与匹配的 PDB,保持正常测试并行度,识别真实测试宿主 PID,再采集并区分产品代码与测试框架、JIT、分析器开销。该工具仅提供诊断证据,不替代测试断言或精确基准测试;句柄会过期,空剖析结果不具结论性。
该技能用于评估针对特定代码或测试变更(功能、PR、提交)的测试是否真正有价值。它强调:通过的测试只有在能检测到相关错误行为时才有意义。技能聚焦于变更的契约及其直接相关测试,而非整个仓库。它要求发现并遵循仓库的指令、固定工具链、测试命令、断言约定和执行权限,并明确不授权在只读审查中编辑、执行不可信代码、工作流分发、发布或访问其他会话的检出。工作流包括:将契约绑定到被测修订版本、为每个行为变更映射需求到断言、选择有意义的反事实(如修复缺陷、禁用功能、引入错误输出等)、在授权时执行配对运行、报告证据。适用于代码审查、回归测试验证、功能证明等场景。
MCAF 测试技能:在实现功能、修复缺陷或重构时,依据仓库 AGENTS.md 中的验证规则添加或更新自动化测试,产出可验证的项目变更。
面向 C# 与 .NET 任务的主入口技能:先探测仓库的语言版本、测试框架、质量工具链与架构规则,再把任务路由到对应的 .NET 子技能,并执行变更后的质量验证。
基于 fp-ts 与 fast-check 的属性测试框架,用于验证函子律、单子律与自然变换条件,适合校验范畴论式实现。
React Doctor 是一个用于扫描 React 代码库的检查工具,可发现安全、性能、正确性与架构问题,并输出 0–100 的健康评分,适合在完成功能、修复缺陷或提交代码前使用。
Ponytail 是一个面向 AI 编程助手的技能提示,要求以“懒惰的资深开发者”视角,优先给出最简单、最短、最小且真正可用的实现方案,避免过度工程。
面向 Claude Code 的批判性思维提示技能,用于在重大决策前质疑方案假设、验证决策、评估风险,避免自动附和。通过 /atelier-challenge 命令提出质疑,并以顺序思考进行分析。
code-debug 是一套系统化调试工作流与技巧,用于代码出错、行为异常或抛出错误时定位并修复缺陷。强调不靠猜测,通过复现、隔离、假设、修复、验证五步缩小问题范围,并涵盖打印调试、调试器、日志、二分查找、小黄鸭调试及常见缺陷模式。
oracle-challenge 是一个用于批判性思考的提示技能,当需要质疑假设、验证决策、检验方案有效性或防止自动附和时使用。它通过结构化步骤分析挑战请求,并借助顺序思考工具评估假设、证据、替代方案与风险。
面向函数式核心与副作用边缘架构的测试技能,提供桩驱动 TDD 与层边界测试方法,指导在编写测试、决定测什么以及组件边界测试时使用。
面向 Python 应用、基于 pytest 的测试技能,采用桩驱动 TDD 与分层边界测试思路:先写桩、再写测试、后实现、最后重构,重点测试跨层边界行为而非内部实现细节。
面向函数式核心与副作用边缘架构的测试技能,提供桩驱动TDD与层边界测试方法,指导在实体、服务、路由、仓储、消费者各层选择测试类型、桩对象与断言内容。
一个与技术栈无关的测试执行技能,供 test-executor 在运行测试并汇报结果时调用,提供渐进式执行策略、测试选择、环境管理与结果汇总格式。
test-patterns 是一个与技术栈无关的测试代码编写技能,在 test-developer 编写新测试代码时调用,提供 Arrange-Act-Assert 结构、命名规范、隔离原则、fixture 模式、断言与 mock 指南及测试分类等约定。
用于性能导向的代码审查技能,帮助识别瓶颈与优化机会,覆盖数据库查询、内存资源、前端渲染、API 网络和算法复杂度等维度,并按严重程度分级。
针对代码性能问题的审查技能,用于识别瓶颈与优化机会,涵盖数据库查询、内存资源、前端渲染、API 网络与算法复杂度五大类,并按严重程度分级输出建议。
用于排查 Materialize 仓库 PR 上 CI 失败的技能,依赖 gh 与 bk 命令行工具,可定位 Buildkite 构建、读取注解与日志,并按根因归类失败。
Materialize 仓库中的 limits-test 技能,用于新增、修改或调试 limits 测试。它通过大量对象、复杂查询和大规模写入对 Materialize 施压,借助 fixpoint panic、栈溢出、CI 超时和 OOM 等信号发现回归。