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

根因追溯技能用于在软件开发过程中，通过向后追踪调用栈和执行流程，识别错误、无效数据或不正确行为的原始来源。适用于调试复杂问题、调查数据损坏、查找级联故障根因等场景，关键词包括调试、根因、追溯、错误来源、数据流追踪。

这个技能用于自动化执行代码审查，覆盖风格、可读性和安全等方面，提供结构化反馈。它专注于重要问题如错误和安全风险，适用于拉取请求和合并请求审查，以提升代码质量和团队协作效率。关键词：代码审查，自动化，安全编码，可读性，单元测试。

测试驱动开发（TDD）是一种软件开发实践，强调先编写测试用例再实现代码，通过‘红-绿-重构’循环确保代码质量、减少错误和促进设计改进。关键词：测试驱动开发、TDD、单元测试、自动化测试、红绿重构、代码质量、软件开发、测试优先、测试用例、错误预防。

算法证明助手是一个专注于算法正确性形式化证明的专业工具。它提供多种标准证明方法（如数学归纳法、反证法、循环不变式证明和结构归纳法）的模板和分步指导，帮助用户构建、审查和验证算法证明。该工具能识别证明漏洞、生成终止性论证，并适用于算法实现和正确性测试流程。关键词：算法证明、形式化验证、数学归纳法、循环不变式、反证法、结构归纳、正确性测试、证明审查。

Agentuity CLI REPL 是一个用于测试和调试的交互式命令行环境，支持Bash命令执行，主要用于软件开发过程中的快速原型验证和工具测试。关键词：命令行工具，REPL，测试环境，交互式调试，Agentuity CLI，Bash脚本测试。

提供Jest测试框架的深入知识和最佳实践，涵盖配置、匹配器、模拟、快照测试等方面，专注于JavaScript和TypeScript应用的测试。

测试驱动开发是一种软件开发方法，强调先编写测试代码以验证预期行为，然后编写足够的生产代码以通过测试，最后进行重构以优化代码结构。这种方法有助于提高代码质量和可维护性，确保代码变更的正确性。

根本原因分析是一种系统性方法，用于识别失败的根本原因，以实现永久性解决方案并防止问题再次发生。

系统化代码分析工具，通过攻击树与修剪方法论，优化解决方案/测试向量的探索，提高代码安全性和效率。

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

测试驱动开发是一种软件开发方法，强调在编写实现代码前先编写测试用例，通过Red-Green-Refactor循环确保代码质量和功能正确性，避免技术债务，适用于功能开发、错误修复和重构。关键词：测试驱动开发，TDD，软件测试，敏捷开发，代码质量，Red-Green-Refactor。