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

双模拟检查器是用于验证进程演算中双模拟等价的工具，支持强双模拟和弱双模拟。通过算法如分区细化，高效检查并发系统的语义等价，应用于编译器优化验证、协议验证、进程等价证明等场景。关键词：双模拟、进程演算、等价验证、并发系统、形式验证、分区细化、强双模拟、弱双模拟、编译器优化、协议验证。

死代码检测技能用于通过静态分析工具 TLDR 查找代码库中的未使用函数和死代码，帮助进行代码清理和重构，提高代码质量。关键词：死代码、未使用函数、静态分析、代码清理、重构。

这是一个用于端到端测试的完整技能，专门用于测试整个持久化流水线，支持使用Bash脚本、读取和写入工具进行全流程验证。关键词：端到端测试、持久化流水线、测试技能、Bash脚本、软件开发测试。

这个技能是用于代码审查的智能辅助工具，能够根据上下文自动路由到相应的审查指南，帮助开发者高效、规范地进行代码审查，提升代码质量。关键词：代码审查、智能路由、Pull Request、代码质量、自动化审查、软件开发测试。

此技能定义了项目管理中错误报告的标准化流程，通过GitHub问题追踪bug，适用于框架、代理和技能的错误检测和报告。它提供详细指南、模板和示例，帮助团队高效管理和修复问题。关键词：错误报告、GitHub、项目管理、代理、框架bug、技能内容、DevOps、测试。

这个技能提供了一种系统化的调试方法，用于在软件开发中诊断和修复错误。它强调先调查根本原因，再实施修复，避免随机更改和引入新问题。关键词包括：调试、系统化、根本原因分析、问题解决、软件测试、错误修复、开发效率、质量控制。

这个技能用于将测试驱动开发（TDD）应用于过程文档的编写，帮助创建、编辑和验证技能文档，确保质量。关键词：测试驱动开发、技能编写、文档编写、TDD、质量保证、过程文档、技能创建、测试驱动、软件开发、文档质量。

此技能用于在fe-tools项目中自动验证文档和测试的完整性与一致性，确保API文档与代码导出对齐，测试覆盖新增功能，提升软件质量。关键词：文档验证、测试覆盖、API一致性、软件质量保证、自动化测试、fe-tools工具。

测试模式是一种软件测试技能，用于通过依赖注入、测试替身、安全重构等技术有效测试代码。它帮助开发者在没有测试的情况下安全修改代码，添加测试到现有代码，并通过特征化测试理解不熟悉的代码。关键词：测试模式、依赖注入、测试替身、安全重构、特征化测试、软件测试。

代码审查技能用于确保代码质量、安全、性能和可维护性，通过系统化的清单和流程进行自动化审查，提升软件开发的整体水平和团队协作效率。关键词：代码审查、安全审查、性能优化、可维护性、代码质量、软件开发、自动化测试、代码检查。

这个技能提供了全面的软件测试专业知识，涵盖单元测试、集成测试、端到端测试等多种测试类型，适用于数据管道、机器学习模型、基础设施等专业领域。它支持TDD/BDD工作流，帮助设计测试架构、调试不稳定测试和分析覆盖率，确保代码质量和可维护性。关键词：测试、单元测试、集成测试、端到端测试、TDD、BDD、测试覆盖率、调试、测试策略、模拟测试。