面向实战的安全测试知识库,支持Web渗透、漏洞挖掘及AI安全测试。融合多源案例与方法论,严格引用参考文件,区分假设与确认,强调授权边界与幻觉防护,适用于CTF、红队攻防及安全审计场景。
提供测试策略指导,涵盖TDD/BDD方法、覆盖率规划及最佳实践。适用于设计测试套件、提升覆盖率或选择测试方案等场景。
指导在 Edmund 编辑器中如何验证修复有效性及添加测试。涵盖基于 Swift Testing 的证据层级(从单元测试到视觉 QA)、测试套件结构、Golden 检查及性能证据,强调仅靠无头测试不足以证明复杂交互 Bug 已修复。
提供基于无障碍树快照和引用选择器的无头浏览器自动化CLI,支持多步工作流、会话隔离及网络控制,适用于复杂SPA的确定性元素交互与测试。
提供Solidity智能合约的全面测试策略,涵盖使用Hardhat和Foundry进行单元测试、集成测试、主网分叉及模糊测试。适用于DeFi协议验证、Gas优化及Etherscan合约验证等场景。
指导测试驱动开发(TDD)实践,强调通过公共接口验证行为而非实现细节。提倡垂直切片式迭代(红-绿-重构),避免先写所有测试再实现的错误模式,确保测试具备鲁棒性并准确反映系统规范。
DART项目测试技能,涵盖单元测试、集成测试编写与调试。提供Pixi命令执行快速及全量验证,指导GoogleTest规范使用,支持CI流程校验、CUDA环境测试及失败日志排查,并集成仿真可视化端到端检查。
指导基于测试驱动开发(TDD)的迭代流程,涵盖红绿重构循环、ATDD模式及集成测试容器生命周期管理。
强制执行验证优先的开发纪律,要求在编码前确认数据,并必须执行组件与功能双重测试。通过DEMO块提供证据,确保集成质量,减少因假设错误导致的缺陷。
用于运行 Keychat 项目的测试任务。支持执行全部测试、仅 Flutter/Dart 测试或指定文件测试,并清晰报告测试结果。
用于 Effect 框架 HttpApi 服务的端到端测试。涵盖测试服务器搭建、HttpClient 注入、Layer 组合顺序及路径参数处理等核心模式与常见陷阱。
分析指定技能的SKILL.md,自动生成VALIDATION.md草稿。用于验证技能生成的几何体参数、体积公式及条件分支的正确性,需人工复核以确保校验规则准确。
用于在本地Windows ARM64 QEMU虚拟机中运行Nub测试和调试探针,执行预检、生命周期管理及通过SSH传输执行脚本。


