此技能提供编写高质量Rust代码测试的全面指南，涵盖测试公共和私有API的策略、使用insta和proptest工具进行输出验证和属性测试、代码组织方法以及处理外部C符号。关键词包括Rust测试、insta、proptest、API测试、测试策略、代码组织、软件测试、Rust编程。

此技能用于在修改 Rust 代码后自动运行测试以验证正确性，支持按包或特定测试运行，适用于软件开发和 DevOps 流程。关键词：Rust 测试，自动化测试，软件开发，测试验证，DevOps，代码质量

这个技能是关于使用hashql-diagnostics库编写HashQL代码中的诊断信息，包括错误消息、警告、标签、补丁和建议，以提高代码质量和可维护性。关键词包括HashQL、诊断、错误消息、代码提示、Rust、编译错误、代码改进。

Webhook测试技能用于本地测试webhook集成，通过隧道工具将本地服务器暴露到互联网，捕获和检查webhook负载，验证签名，测试重试机制，并提供调试和集成测试功能。关键词：webhook测试、本地调试、隧道工具、签名验证、重试测试、集成测试、安全验证。

性能分析器技能专注于代码性能的深度分析和优化，识别如低效算法、内存泄漏、不必要的重新渲染、N+1查询等常见问题，并提供具体优化策略。关键词包括性能优化、代码分析、前端性能、后端效率、算法优化、内存管理、性能测试、优化建议。

这个技能用于通过OpenSpec CLI工具，使用实验性工件工作流来启动和管理新的软件开发变更。它适用于特性创建、bug修复或修改，提供结构化的分步方法，支持TDD和规范驱动开发等模式。关键词：OpenSpec、变更管理、工件工作流、测试驱动开发、DevOps、软件开发流程。

该技能用于对软件规范进行全面的质量审计，通过正式评分评估其结构、需求、验收标准等，生成合规报告并提供改进建议。关键词：规范审计、质量评估、合规报告、软件需求、测试标准、敏捷开发、需求分析。

这是一个用于开发和测试的技能，通过从本地HTTP注册表fork warp路由，在anvil forks上模拟交易。关键词：warp路由、分支、开发测试、模拟交易、HTTP注册表、命令行工具、anvil forks。

这个技能用于管理、组织和部署代码库，并测试Claude Code钩子阻止危险命令如rm -rf的功能。主要用于演示和测试安全特性，适用于软件开发中的测试场景。关键词：代码库管理、Claude Code、钩子阻止、危险命令、安全测试、DevOps、测试、代码部署、演示工具。

上下文等价性技能用于证明程序在操作语义学、互模拟等技术下的上下文等价性，应用于程序验证、编译器正确性证明、程序转换验证和优化验证等领域。关键词：程序验证、上下文等价性、操作语义学、互模拟、编译器验证、编程语言、形式化方法。

此技能用于软件测试领域，通过条件轮询替代随机超时，提高异步测试的可靠性和稳定性。核心应用包括避免竞争条件、时序依赖和不稳定测试行为，关键词包括异步测试、条件轮询、测试可靠性、竞争条件、时序优化和软件测试自动化。

此技能用于在软件调试过程中，当错误深层次出现时，通过系统地向后追溯调用栈，找到问题的根本原因，并在源头修复，而非只处理表面症状。它帮助开发者在复杂代码中识别bug的原始触发点，提升调试效率和软件质量。关键词：调试技巧，根因分析，调用栈追踪，bug追溯，系统调试