此技能用于制定软件开发中的功能实现计划，包括定义用户故事、划分实现阶段和设计测试策略。关键词：功能规划、实现计划、用户故事、测试策略、软件开发、项目管理、敏捷开发。

这个技能用于编写、管理和维护架构决策记录（ADRs），帮助团队捕获重要技术决策的背景、选项、决策理由和后果。适用于文档化技术选择、记录设计权衡、新成员培训、历史决策回顾和建立决策流程。关键词包括：架构决策记录、ADR、技术文档、软件开发、架构设计、决策流程。

此技能用于基于OpenAPI 3.1规范进行合同优先的REST API设计，包括定义API契约、遵循最佳实践和实现设计工作流。关键词：OpenAPI, REST API, 设计, 规范, 合同优先。

这个技能用于进行技术架构的差距分析，通过比较当前状态（As-Is）与目标状态（To-Be），识别差距并探索技术迁移选项。关键词包括：差距分析、当前状态、目标状态、技术架构、迁移规划、架构设计、技术选项。

该技能用于基于C4模型创建软件架构文档，涵盖系统上下文、容器、组件和代码四个抽象级别，支持架构可视化和文档化。关键词：C4模型、架构设计、文档化、软件架构、可视化、系统上下文图、容器图、组件图。

这个技能用于设计和实现分类法结构，支持扁平、分层和多维分类模式，适用于内容管理系统、电子商务导航、标签系统和数据建模等场景。关键词：分类法设计、架构模式、内容组织、SEO优化、数据分类。

这是一个技能模板，用于定义和描述特定技能，指定Claude AI应该在何种情况下使用该技能。关键词：技能模板、Claude AI、使用场景、AI技能定义、技能开发、AI应用模板。

该技能用于构建即时编译（JIT）系统，应用于动态语言运行时、虚拟机设计和性能优化。它支持机器码生成、重新编译处理、动态优化和内存管理，关键词包括JIT编译器、动态优化、编译器构建、运行时系统、性能优化和即时编译。

数据流分析框架是一个用于实现静态程序分析的通用工具，支持定义Lattice、实现转移函数和求解数据流方程。它适用于编译器优化、bug检测和程序验证，关键词包括：数据流分析、静态分析、编译器、程序验证、Lattice、工作列表算法、软件架构设计。

公共子表达式消除器是一种编译器优化技能，用于识别和消除代码中的重复计算，提高程序性能。适用于编译器构建、代码优化和程序分析，关键词包括编译器优化、代码优化、公共子表达式消除、程序分析。

这个技能用于优化代码搜索过程，通过根据查询类型（如结构型、语义型、字面型）智能选择最令牌高效的搜索工具（如AST-grep、LEANN、Grep、Read），以提高软件开发效率。关键词：代码搜索、工具选择、令牌效率、结构化搜索、语义搜索、字面搜索、搜索优化、开发工具链。

这个技能用于掌握Python的类型系统，包括类型提示、静态类型检查工具mypy、高级类型特性如Protocol、TypedDict和Generics。帮助开发者编写类型安全、可维护的代码，提高代码质量和开发效率。关键词：Python类型系统、类型提示、mypy、Protocol、TypedDict、Generics、静态类型检查、代码安全、维护性、类型注解。