该技能指导如何为代码添加控制台输出和日志记录，使错误和状态对AI代理可见，提高调试效率和代理自主性。适用于代理静默失败、调试代理工作流或设置新代码库。关键词：标准输出、日志记录、错误可见性、代理调试、AI代理、软件开发、测试。

该技能是一个交互式EARS模式创作助理，用于指导用户通过EARS（易用需求语法）创建和结构化软件需求规范。它支持多种模式选择，如普适、事件驱动、状态驱动等，并生成相应的需求陈述和验收标准，以提高需求清晰度和可测试性。关键词：EARS模式、需求工程、软件开发、验收测试、规范驱动开发、需求分析、软件工程、测试用例、交互式指导。

该技能用于在软件开发中捕获代码修复后的教训，更新知识库以防止未来错误。它帮助识别根本原因、检查现有知识、决定保存位置并编写简洁规则，适用于测试、DevOps和开发实践。关键词：代码修复、知识管理、错误预防、软件开发、测试、Elixir、最佳实践、自动化记忆。

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

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

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

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

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

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

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

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

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