quint-lang
Quint 是 Informal Systems 开发的可执行规约语言，用于复杂系统建模，编译为 TLA+ 并支持模拟与模型检查。本条目介绍其语法、类型、运算符、basicSpells 标准库及 typecheck/run/test/verify 工具链用法。
Skill 广场
找到适合任务的 Agent Skill，阅读介绍并复制安装命令。
更新于 10-27 00:15
测试与质量
12,742 个结果
structured-debugging
结构化调试（structured-debugging）是一套面向疑难 Bug 的假设驱动调试方法，来自 qwenlm/qwen-code。它用“假设—埋点—验证数据采集—运行观察—记录发现—迭代”的循环替代盲目猜测，适合排查非平凡缺陷、异常行为和不稳定测试。
before-after
before-after 是一个为 Web UI 变更生成可浏览器打开的可视化证据的技能，通过 agent-browser 在改动前后捕获同一真实 DOM 元素或页面状态，产出 before/after 截图与 HTML 报告。
debug
vcut 的调试排查指南，说明如何用 locate、say、audit、joins、suspects 等命令调查渲染结果异常，并列出每个问题对应的测量手段与常见误判陷阱。
test-case-gen
面向 QA 的测试用例技能，按 RAVN 团队标准生成、评估、审计与规范化测试用例。支持从需求、URL 或 HTML 输入生成，评估打分，审计覆盖缺口，并将旧格式转换为标准结构，输出 JSON、XML 或 CSV。
mutation-testing
通过变异测试评估测试套件质量：向代码注入小改动并运行测试，判断测试能否发现这些缺陷，从而识别测试盲区并生成针对性测试。
bugs-to-stories
用于在自动化修复流程中把 test-and-break 技能产出的缺陷报告转换为 prd.json 用户故事，供 Ralph 自动修复。
test-terminator
Test Terminator（测试终结者）是一个面向代码评审的 AI 技能，从测试工程师视角出发，系统性地把需求拆解为测试场景矩阵，再反向映射到代码路径，主动猎杀测试覆盖缺口。它强调测试驱动评审（TT），要求每个场景都有明确的触发条件与预期行为，并映射到具体代码路径；发现缺口后按 P0~P3 定级并推动修复或标注风险。技能内置角色选择（测试刽子手、灰盒渗透员、边界猎人）、方法论智能路由（状态机、协议解析、数值计算、硬件驱动等）、五阶段评审流程、增量/回归评审协议、压力升级机制，以及战报结算与 KPI 自评。适用于代码变更涉及业务逻辑、状态转换、协议解析、数值计算、硬件交互等场景，帮助在测试人员动手前清空其弹药。
go-benchmark-testing
面向 AI 编程代理的 Go 基准测试自动化技能，指导使用标准 testing 包与一致模式编写基准测试，用于性能测量、回归检测与优化引导。
frontend-typescript-testing
该技能为前端 TypeScript 项目设计测试方案，基于仓库已配置的测试框架与浏览器工具链（如 React Testing Library、MSW、Vitest、Playwright）落地测试。核心是“先探测、后应用”：先检查 package.json、锁文件、测试配置和已有测试导入，只有当依赖与配置确实存在时才套用对应框架规则；若仓库使用等价但不同的配置，则沿用仓库自身的方案。如果找不到可运行的测试环境，技能要求报告已检查的路径以及缺失的框架或命令，而不是自行发明。内容覆盖单元/集成测试与 E2E 测试的分工、测试目录与命名约定、Mock 类型安全、常见设计模式（如按用户可感知的角色与可访问名称查询、使用 userEvent.setup() 驱动交互、覆盖空/错误/加载状态等），并强调回归保护、独立性、可复现性与可读性。适用场景为前端 React/TypeScript 仓库的测试编写与评审。
agent-qa-authoring
用于创建、编辑、校验和运行 Agent QA 测试、套件与钩子的技能，可通过 MCP 或 CLI 操作，并保持规范 ID 与 schema 契约不变。
code-showcase-systematic-debugging
一套四阶段系统化调试方法论，强调先定位根因再修复。适用于排查缺陷、修复测试失败和诊断异常行为，核心原则是未完成根因调查前不做任何修复。
replit-playwright-chromium
在 Replit 上使用 Playwright（Chromium）而无需下载浏览器的技能：直接复用 Nix store 中 Playwright 管理的 Chromium，通过 executable_path 指认，并规避 playground install 等平台坑。
setup-sdk-testing
用于配置和运行 Speakeasy 生成 SDK 的测试，覆盖契约测试、Arazzo 自定义工作流测试与真实 API 集成测试。资料包含 gen.yaml 开启测试生成、speakeasy test 命令、Arazzo 语法、集成测试示例及常见故障排查。
svelte-testing
面向 Svelte 5 的测试技能，结合 vitest-browser-svelte 与 Playwright，用于修复和编写单元、SSR 及端到端测试，帮助定位并调试测试失败。
javascript-testing-patterns
面向 JavaScript/TypeScript 项目的测试技能，覆盖 Jest、Vitest 与 Testing Library，讲解单元测试、集成测试、端到端测试及 mock 等常见模式，适合搭建测试基础设施、编写各类测试与接入 CI/CD。
android-screenshot-testing
该技能用于在 JVM 上编写 Android 集成测试，通过 Robolectric 原生图形渲染真实 UI 页面并截取像素级截图，无需模拟器或真机。它使用 MockWebServer 在网络边界伪造 HTTP 响应，让 Fragment/Activity、ViewModel、Repository、Retrofit、OkHttp 等完整代码栈真实执行。测试可在 ./gradlew test 中运行，10-15 秒完成，适合 CI。主要解决第三方 SDK 在 JVM 崩溃、AndroidKeyStore 不可用、端点 URL 指向真实服务器、单例生命周期顺序、视图依赖登录态等五个常见问题，并支持滚动截图、多状态截图与渲染内容断言。
test-feature
test-feature 是一个面向人类用户的 QA 验证工作流技能，用于在功能开发完成或接近完成时，通过真实产品界面进行验证，捕获证据，并生成一份本地 HTML 报告。它适用于 Web/PWA、原生移动端、桌面端以及仅 API 的场景，帮助执行手工化的验收测试。该技能强调先制定验证计划，再依次覆盖正常路径、边界情况以及错误与恢复状态，并在每次有意义的状态变化后捕获截图、视频、日志或请求响应证据。验证结果采用 pass、fail、mixed、blocked 四种状态，并要求在证据缺失时不能标记为通过。报告按 reports/<feature-slug>/ 目录组织，使用相对链接便于附加到工单或 PR。技能还说明了何时不应使用，例如功能尚不可验证、仅做 API 检查、编写自动化 E2E 测试、单纯底层浏览器操作或修复不稳定的测试套件。它建议搭配 agent-browser 处理浏览器机制，并在需要持久回归覆盖时交给 automate-e2e-tests。
playwright-cli-cloakbrowser
playwright-cli-cloakbrowser 是一个用于驱动 CloakBrowser Manager 隐身浏览器配置的 Playwright CLI 技能。CloakBrowser Manager 在单个 Docker 容器中运行隔离的隐身 Chromium 配置，每个配置具有独立指纹、可选代理、持久化 Cookie 和内置 noVNC 实时视图，并暴露 CDP 端点。通过 playwright-cli attach 连接到配置的持久化上下文（contexts[0]），自动化即可继承该配置的登录状态与隐身指纹。适用于需要持久登录会话、反检测浏览器自动化的场景。
vitest
Vitest 是 Vite 原生的测试框架，支持单元测试、集成测试与组件测试，原生支持 TypeScript，API 与 Jest 兼容，内置 mock、覆盖率、快照与监听模式。
project-scan
面向 QA 的项目源码扫描技能，用于盘点语言、框架与已有自动化及手动测试。适合在测试规划前快速了解代码库结构，仅做浅层分析，不深入解析测试实现。
abp-integration-testing
为 ASP.NET Core ABP Framework 应用服务与 HTTP API 生成真实集成测试的技能，覆盖持久化、授权、验证、数据过滤与多租户隔离等框架级行为，而非模拟单元测试。
javascript-testing-patterns
面向 JavaScript/TypeScript 应用的测试模式技能，覆盖 Jest、Vitest 与 Testing Library 的配置、单元测试、异步测试、Mock、React 组件与 Hook 测试及最佳实践。
zoom-reflow
针对 400% 浏览器缩放下内容重排的前端无障碍检查规则，用于审查已渲染的 HTML、交互组件与设计系统模式，确认内容在放大后能重排为单列且无需横向滚动。