该技能用于自动推断循环不变式，以支持程序验证、自动化证明和循环分析。关键词：不变式生成、程序验证、循环分析、自动化、软件测试。

这个技能是使用Playwright进行本地Web应用程序测试的工具包，支持验证前端功能、调试UI行为、捕获浏览器截图和查看浏览器日志，适用于自动化测试、调试和QA流程。关键词：Playwright测试、Web应用自动化、前端测试、UI调试、浏览器自动化、QA工具。

该技能是一个系统化框架，用于分析软件错误，识别根因，设计预防措施，并捕获知识，以防止未来类似错误。关键词：错误分析、调试、预防机制、知识捕获、软件开发、SEO搜索优化。

这个技能涉及通过条件编译和代码修补技术来绕过模糊测试中的障碍，如校验和验证、全局状态和复杂检查，以提高软件测试覆盖率和发现潜在漏洞。适用于软件开发中的模糊测试场景，帮助开发者和测试人员更有效地进行安全测试和缺陷检测。关键词：模糊测试，障碍克服，代码修补，条件编译，软件测试，覆盖率提升，安全漏洞发现。

这个技能是关于使用 cargo-fuzz 工具进行 Rust 代码的模糊测试。它帮助开发者在 Cargo-based 项目中快速设置模糊测试，集成地址消毒器等安全工具，提高代码质量和安全性。关键词：模糊测试、Rust、Cargo、libFuzzer、安全测试、软件测试、漏洞挖掘。

这是一个使用外部大型语言模型（如OpenAI Codex和Google Gemini）进行代码审查的工具。它通过CLI接口，支持审查未提交的更改、分支差异或特定提交，帮助开发者提高代码质量、安全性和性能。关键词：代码审查、LLM、外部工具、安全扫描、性能优化、错误处理、自动化审查。

GraphQL 审计技能用于分析 GraphQL 操作的复杂度、深度、指令使用和查询性能，帮助优化 API 性能，预防生产环境问题。关键词：GraphQL, 审计, 性能优化, 查询深度, 复杂度分析, 自动化测试, DevOps 工具。

这个技能用于在软件开发中修复bug时，优先检查系统实际输出和日志，避免基于假设进行代码编辑，提升调试效率。关键词：代码调试、bug修复、输出验证、日志分析、开发最佳实践、DevOps测试、故障排查。

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

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

这个技能用于在代码提交前运行自动化检查，包括代码格式化、代码风格检查和类型检查，自动或手动修复问题，确保代码质量和一致性。关键词：预提交检查、代码格式化、代码检查、类型检查、自动化修复、代码质量保证。

这个技能用于指导软件开发中的测试实践，提供Jest和Playwright的测试模式、测试夹具设置、RLS（行级安全）验证和证据模板，帮助团队实现高效和一致的测试流程。