SuperAPI AI 工具集

Skill 广场

找到适合任务的 Agent Skill,阅读介绍并复制安装命令。

更新于 10-27 00:15

测试与质量

12,736 个结果

test-driven-development

测试驱动开发(TDD)技能,用于在编写任何功能实现或缺陷修复代码之前先编写测试。核心原则是:先写测试、看它失败、再写最小代码使其通过。该技能强调“没有失败的测试就不写生产代码”的铁律,遵循红-绿-重构循环,并列出常见借口与红旗信号,帮助开发者避免先写代码后补测试的反模式。适用于新功能、缺陷修复、重构和行为变更等场景。

测试与质量10 次安装

webapp-testing

这是一个用于与本地 Web 应用交互并进行测试的工具包,基于 Playwright 实现。它支持验证前端功能、调试 UI 行为、捕获控制台日志等。工具包提供辅助脚本 scripts/with_server.py 来管理服务器生命周期(支持同时启动多个服务器),并建议以黑盒方式直接调用脚本、先用 --help 查看用法。测试时通过编写原生 Python Playwright 脚本,采用“先侦察后操作”的模式:等待 networkidle、截图或检查 DOM、识别选择器、再执行操作。适用于本地静态 HTML 与动态 Web 应用的自动化测试场景。

测试与质量10 次安装

create-formal-verification-skill

该技能用于为项目生成一个本地化的形式化验证技能:在代码中找出“出错代价最高、测试覆盖最少”的部分,用合适的验证工具(模型检查器、证明助手、SMT 验证器等)验证其一条关键性质,并留下一个项目内技能,让后续智能体在改动代码时能对照该性质进行检查。技能强调验证须忠于真实代码、可失败、如实报告反例、明确范围与假设、可低成本重跑,并与代码保持同步。

测试与质量10 次安装