这是一个专为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问题、故障排除、软件测试、数据解析、问题诊断。

这个技能实现了一个多代理代码审查流程，使用AI代理自动化审查GitHub拉取请求（PR），提高代码质量和开发效率。它通过三个独立的AI子代理从不同角度（如正确性、代码健康、用户体验）分析代码更改，并通过推理分析验证问题，自动去重评论，发布裁决和摘要。适用于软件测试、DevOps自动化和代码质量保证场景。关键词：代码审查、多代理AI、自动化测试、GitHub集成、软件质量保证、PR审查、DevOps、CI/CD、AI智能体、代码健康。

该技能用于在软件开发过程中，通过请求代码审查来提高代码质量和确保代码符合计划与需求。它涉及调度子代理进行代码评估，提供反馈流程和错误预防。关键词：代码审查、代码质量、软件开发、Git、子代理、反馈、质量保证。