用于设计、运行和审查 Lemma Agent、函数及工作流的重复性评估。涵盖契约定义、基线对比、确定性检查、侧效安全测试及回归分析，确保在真实身份与策略下验证行为正确性。
提供Go语言测试最佳实践，涵盖TDD流程、表驱动测试、子测试、基准测试及模糊测试。旨在帮助开发者编写高覆盖率、可维护的测试代码，遵循Go惯用法。
用于 macOS BetterCmdTab 应用的端到端运行时验证。通过构建应用、启动进程并模拟用户输入，观察代码变更后的实际运行效果，以获取真实环境下的证据，确认功能正确性。
用于上传测试和基本数据检查的最小技能。通过检查数据源模式、运行只读SQL查询或预览表，并以通俗语言总结结果，验证数据可用性。
自动化操作已登录的 Chromium 浏览器，支持页面读取、表单填写、标签页管理及 UI 调试与测试。
指导测试审计、设计与编写，确保测试维护成本与质量。涵盖审查各类测试、验证保护契约、可信失败及执行边界，防止过度测试并优化CI流程。
Web自动化测试技能，利用Playwright进行浏览器交互与DOM断言，结合tesseract.js实现OCR截图验证。支持冒烟、全量及回归测试，并新增项目类型检测以优化执行效率。
指导编写与仓库风格一致的测试，根据回归类型选择最经济的测试层级（单元、冒烟或TUI），遵循行为导向、独立性和命名规范，确保测试能准确捕获缺陷并诚实报告结果。
利用 Obsidian CLI 对真实实例运行端到端集成测试，验证插件行为、DOM 状态及文件操作，排除单元测试。
提供基于Playwright的本地Web应用测试工具集，支持前端功能验证、UI调试、截图及日志查看。通过决策树指导静态/动态页面的自动化流程，强调使用辅助脚本管理服务器生命周期并等待网络空闲后操作。
通过 ovp2 MCP doctor 工具对 OVP vault 状态执行健康检查，用于排查状态异常、索引故障或安装变更后的预检。
强制要求在执行任何完成声明前，必须运行并验证最新证据（如测试日志、构建输出），严禁基于假设或过往记忆断言成功。旨在消除幻觉，确保结果真实可靠。
