property-based-testing
该技能用于在能够明确具体属性、生成输入空间和判定标准时,通过生成输入搜索未知反例,检验应在大范围输入上成立的行为。它不是示例测试的替代品,适用于可命名行为规律且人工挑选样例覆盖不足的场景。
找到适合任务的 Agent Skill,阅读介绍并复制安装命令。
更新于 10-22 00:14
12,478 个结果
该技能用于在能够明确具体属性、生成输入空间和判定标准时,通过生成输入搜索未知反例,检验应在大范围输入上成立的行为。它不是示例测试的替代品,适用于可命名行为规律且人工挑选样例覆盖不足的场景。
用于计算与调试 Flexbox 一维布局数学的技能,覆盖 flex base size、flex-basis、flex-grow、flex-shrink、flex 简写、分数增长值与 min/max 约束钳制。
系统化调试技能:在提出修复方案前先定位根因,按四阶段流程处理测试失败、生产缺陷、异常行为、性能与构建问题,避免猜测式打补丁。
用于本地 Web 应用交互与测试的工具包,基于 Playwright。可验证行为、调试界面并抓取截图与日志。资料同时提供 with_server.py 等辅助脚本,用于管理服务器生命周期,并给出静态与动态页面的测试决策流程。
algo-options 是 OpenAlgo 执行技能包中的期权策略生成技能,用于创建仅限期权的执行策略,如 short-straddle(卖出跨式)和 iron-condor(铁鹰)。回测模式被有意禁用,实盘模式通过 optionsmultiorder 与逐腿止损执行。
将 AFL++ 覆盖率引导模糊测试集成到 CI/CD 流水线的技能,涵盖 harness 编写、AFL++ 与 AddressSanitizer/CmpLog 插桩构建、种子语料准备、GitHub Actions 配置、并行模糊测试与崩溃分类。
browser-use 是一个命令行浏览器自动化工具,通过后台守护进程保持浏览器常驻,实现网页导航、表单填写、截图与数据提取,适合网页测试、自动化操作和抓取场景。
面向多模块系统的架构质量策略技能,用于从产品价值出发设计或审计质量优先级、结构权威、目标与迁移恢复;不适用于局部类改进、流行技术选型或单一契约抽取。
将自然语言需求转换为前置条件、后置条件、不变量、失败保证,以及按条件划分的保证责任与契约测试的技能。适用于契约设计与评审,不适用于仅做UI输入验证、一般测试补充或整体业务实现。
Larry 的自主营销实验技能,用于在 X 和 TikTok 上测试内容、钩子与迭代。资料给出其发布流程、语气规范、实验记录方式与当前限流等限制。
面向销售场景的技能,用于从CRM等权威来源中筛选并排序当前值得跟进的客户账号,给出聚焦、监控或抑制建议及安全的下一步动作,不执行外联或写入CRM。
面向 Shell 脚本的 Bats(Bash Automated Testing System)测试模式指南,涵盖测试结构、断言、setup/teardown、Mock 与桩、fixture、错误与兼容性测试及 CI/CD 集成,帮助编写可维护的脚本单元测试。
面向分层匹配系统的工程技能,覆盖双方匹配(如 Gale-Shapley)、单方分配、带权优化、约束匹配等问题的架构设计、实现评审与调试。提供问题分类清单、需求转约束、算法选型、数据建模、接口契约与测试验证的rigid流程。
Entrix 是一个用于在代码仓库中建立或修复质量护栏(fitness)配置的技能。它通过发现仓库真实的质量信号,生成 docs/fitness 文档,并用 entrix 命令校验与迭代,确保配置可运行、可发现且符合 Entrix 规范。
用于在 ***plain 规范文件的 ***test reqs*** 段落中添加一致性测试要求的技能,帮助编写测试框架、执行命令、测试约束、测试数据与环境准备等说明。
php-testing 是一个用于掌握 PHP 测试策略的原子技能,覆盖 PHPUnit 11、Pest 3、TDD、mocking 与 CI/CD 集成,可传入 topic、level、framework 等参数按需学习与执行。
这是一个用于「交互式 QA(质量保障)会话」的 AI 技能。用户可以用对话的方式描述自己遇到的 bug 或问题,AI 会进行澄清、在后台探索代码库以获取上下文,然后以 GitHub issue 的形式把问题记录下来。它的核心目标是产出「持久、面向用户」的 issue,避免引用具体文件路径、行号或内部实现细节,从而在大规模重构后依然有效。主要特点包括:每个问题最多问 2-3 个简短澄清问题、后台启动探索型子智能体了解领域语言和功能边界、判断是否需要拆分为多个 issue、使用 gh issue create 直接提交并按依赖顺序处理阻塞关系,最后输出所有 issue 的 URL 并询问是否继续。适合开发团队在迭代过程中快速收集和归档用户反馈。
面向 Godot 4.x 游戏开发的技能,覆盖开发、测试、构建与部署流程。测试方面集成两个框架:GdUnit4 用于在 Godot 内运行 GDScript 单元测试,支持断言、场景运行器与鼠标/键盘/输入动作模拟;PlayGodot 是类似 Playwright 的游戏自动化框架,基于 Python,通过 RemoteDebugger 协议从外部控制游戏,适合 E2E 与集成测试,但需配套定制版 Godot 分支。构建与部署方面支持 Web 导出(headless export-release)与 Vercel 部署,并提供 GitHub Actions CI/CD 示例与报告产物上传。
Locust 最佳实践技能,用于指导开发者与测试人员编写、修复和结构化 Python 版 Locust 负载测试脚本。该技能围绕 HTTP/REST API 场景,强调真实用户行为建模、自定义负载曲线与响应校验,并强制采用统一的四段式脚本结构(导入与配置、用户类、可选负载形状、运行命令)。它要求始终输出完整可运行的 locustfile、带全部参数的运行命令,以及一行 wait_time 策略说明。核心规则包括:使用 catch_response=True 校验响应体、用 name= 归并动态 URL、在 on_start 中为每个虚拟用户独立认证、根据负载目标选择 wait_time、用 @task 权重反映真实流量分布。技能还列出常见错误(如缺少响应校验、共享可变状态、硬编码主机与凭据、仅断言状态码等)及运行命令与参数参考。
该技能专注于端到端(E2E)测试,帮助使用 Playwright 和 Cypress 构建可靠、快速且可维护的测试套件,以便在用户之前发现回归问题,提升发布信心并支持快速部署。适用于实现端到端测试自动化、调试不稳定或不可靠的测试、测试关键用户工作流、搭建 CI/CD 测试流水线、跨多浏览器测试、验证无障碍需求、测试响应式设计以及建立 E2E 测试标准。不适用于仅需单元或集成测试、环境无法支持稳定 UI 自动化、或无法提供安全测试账号与数据的场景。技能包含识别关键用户旅程、构建稳定选择器与测试数据策略、实现带重试/追踪/隔离的测试、在 CI 中并行运行并捕获产物等指导,并强调避免对生产环境运行破坏性测试、使用专用测试数据并清理敏感输出。
API Testing 是 browser-devtools-skills 中的一项技能,用于通过模拟响应、拦截请求和监控网络流量来测试 API 集成。它基于 browser-devtools-cli 命令行工具,支持对 HTTP 请求进行 mock、修改请求头与请求体、注入延迟、模拟错误状态码、网络超时、连接失败以及不稳定接口等场景。该技能适用于需要模拟后端 API、验证前端错误处理、测试离线行为或调试真实后端接口的场合。
Spring JPA 测试技能,强调 @DataJpaTest 需用 TestEntityManager 准备数据并在读取断言前 flush()+clear(),否则测试会读取 Hibernate 一级缓存导致假通过。适用于 JpaRepository 与实体持久化相关的测试。
用于在新项目或现有项目中安装与配置 Stably Playwright SDK 的设置助手技能,可按步骤完成依赖安装、导入替换、AI 规则配置、playwright.config 修改、凭据设置、可选 Playwright MCP 安装和验证测试。
agent-browser 是一个基于命令行(CLI)的无头浏览器自动化工具,通过 Chrome DevTools Protocol(CDP)驱动浏览器,无需浏览器扩展,也不依赖像素级截图。它适用于脚本化的网页工作流、适合 CI 的浏览器测试,以及基于会话的数据抓取,让用户用 shell 命令替代图形界面操作。核心工作流为:打开页面、获取交互元素快照(返回 @e1、@e2 等引用)、通过引用进行点击或填写等交互,并在导航或 DOM 发生重大变化后重新获取快照。它支持导航、快照分析、点击/填写/按键/拖拽/上传等交互、获取元素信息与状态、截图与 PDF、视频录制、等待条件、鼠标控制、语义定位器、浏览器设置、Cookie 与存储、网络拦截、标签页与窗口、iframe、对话框、JavaScript 执行等能力,并提供会话隔离、JSON 输出、有头模式、代理、云浏览器提供商等全局选项。