此技能用于设计基于规格的审核工作流，通过视觉证明和问题分类来验证软件实现是否符合要求，适用于软件开发中的自动化审核和质量管理。关键词：审核工作流、规格验证、视觉证明、问题分类、自动化审核、软件开发测试、质量保证、视觉验证、工作流设计、测试流程。

Peekaboo是一款专为macOS设计的UI自动化命令行工具，用于捕获屏幕、驱动输入、管理应用程序和窗口，支持脚本化和JSON输出，适用于自动化测试、任务自动化、UI交互模拟，关键词：macOS, UI自动化, CLI工具, 自动化测试, 脚本化, JSON输出, 屏幕捕获, 输入驱动, 应用程序管理。

这个技能提供全面的代码审查功能，覆盖安全性、代码质量、性能优化和最佳实践检查，生成严重性评分报告，帮助开发者提升软件质量、防范安全风险。关键词：代码审查、安全测试、质量保证、性能评估、可维护性分析。

这是一个专为Elixir/Phoenix项目设计的自动化代码审查工具，通过并行专家代理自动查找和解释代码问题、安全漏洞和部署配置错误，提供严重性分类，支持工作流中的代码质量保证和持续集成。关键词：Elixir, Phoenix, 代码审查, 自动化, 并行代理, 安全审计, 测试, DevOps, 工作流, 严重性分类。

这个技能用于帮助开发者调查和修复Elixir/Phoenix代码中的错误。采用Ralph Wiggum方法，先检查明显问题，字面读取错误，提高调试效率，支持并行深度调查模式。关键词：Elixir, Phoenix, bug调查, 错误处理, 调试工具, 代码调试, Ralph Wiggum方法。

这是一个用于 Phoenix 框架的代码审查技能，通过挑战模式对 Ecto 更改、LiveView 事件和 PR 进行严格审查，以确保代码质量、防止错误并提升开发标准。关键词：挑战模式、代码审查、Ecto、LiveView、Phoenix、质量控制、代码测试。

子类型验证器是一种用于在编程语言中验证子类型关系的关键技能，确保类型系统的正确性、安全性和多态性检查。它广泛应用于编译器开发、形式验证和软件测试领域。关键词：子类型、类型系统、验证、编程语言、编译器、形式方法、软件测试。

基于属性的测试工具是一种软件测试技能，通过生成随机输入并验证属性来发现错误和边缘情况，提高软件质量。关键词：属性测试、随机测试、测试框架、软件验证、自动化测试、错误发现。

此技能用于自动分析 Trail of Bits 测试手册内容，生成专注于安全测试工具和技术的 Claude Code 技能，帮助用户快速创建和更新测试相关技能。关键词包括：安全测试、技能生成、自动化、Claude Code、测试手册、静态分析、模糊测试、安全工具。

模糊测试字典是一种软件测试技术，用于指导模糊测试器使用领域特定的令牌，如关键词、魔法数字、协议命令等，以提高测试效率和覆盖率。它主要应用于解析器、协议实现和文件格式处理器的安全测试，帮助绕过验证检查并探索更深层代码路径。关键词：模糊测试、字典、协议、文件格式、覆盖率提升、安全测试、测试自动化。

这个技能用于在软件开发和测试过程中调试问题，通过调查日志、数据库状态和git历史来识别和解决错误。关键词包括调试、日志分析、数据库查询、git状态检查、问题诊断、手动测试、软件开发。

这个技能用于分析会话调试数据，识别并诊断软件中的错误和问题，以帮助解决用户报告的问题。关键词包括：会话调试、错误分析、GitHub问题、故障排除、软件测试、数据解析、问题诊断。