这个技能用于进行全面的代码审查和分析，确保软件项目质量。它包括评估项目结构、文档质量、逻辑错误、测试覆盖率和代码一致性，提供可操作的改进建议。关键词：代码审查、软件质量、测试评估、文档分析、最佳实践、可维护性。

该技能用于在弱内存模型（如x86、ARM、C/C++11）下验证并发程序的正确性，检测数据竞争并合成内存屏障。适用于并发系统验证、低层系统编程和多处理器正确性检查。关键词：弱内存模型、并发验证、数据竞争、内存屏障、C++11、x86、ARM。

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

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

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

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

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

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

这个技能用于设置和组织Playwright测试项目，包括配置管理、测试结构设计、并行执行优化、重试策略和环境适配等，帮助构建可扩展、可维护的自动化测试套件。关键词：Playwright测试，测试架构，自动化测试，前端测试，配置管理，并行执行，重试策略，测试报告。

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

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

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