这个技能用于创建和审查CLAUDE.md配置文件，优化Claude Code的使用。它应用HumanLayer指南，包括指令预算管理、WHAT/WHY/HOW框架和渐进披露，识别并避免反模式如将AI用作代码检查器。关键词：CLAUDE.md, 配置编写, Claude Code, 指令预算, 渐进披露, 开发指南, 反模式识别。

此技能专用于拉取请求（PR）的深度审查，利用Octocode MCP工具进行代码分析、架构评估、安全扫描和缺陷检测，提供证据支持的审查结果和精确代码引用。它帮助开发者确保代码质量、安全性和架构健康。关键词：代码审查、Pull Request、安全分析、架构设计、Octocode、MCP工具、缺陷检测、PR评估。

此技能提供软件开发的原则和指南，包括差分感知编辑、上下文读取和VibeCoder指导，帮助开发者遵循最佳实践、提升代码质量和开发效率，适用于原则讨论、安全性优化和编辑场景。关键词：开发原则、指南、VibeCoder、差分编辑、上下文读取、代码质量、开发效率、软件开发最佳实践。

这个技能用于管理和验证会话状态的迁移，基于 SESSION_ORCHESTRATION.md 文件中的规则进行内部状态转换。它适用于工作阶段更新、错误处理等场景，确保状态转换的正确性。关键词：会话状态管理、状态迁移、内部系统、规则验证、状态机、软件开发。

此技能用于管理软件开发中的临时文件和工作空间，通过创建和配置 .claude/.scratch 目录并设置 gitignore，确保临时文件不被提交到版本控制，适用于草稿实现、实验代码、临时测试文件等工作流优化。关键词：临时文件管理、版本控制、gitignore、工作流、代码组织、开发工具。

这个技能用于使用TLA+形式化规范语言设计和验证分布式系统和并发算法，支持精确设计、早期错误检测、模型检查和文档生成。关键词：TLA+、形式化验证、分布式系统、并发算法、模型检查、系统设计、安全属性、活性属性。

导航架构技能专注于设计网站和应用中的导航系统，包括菜单层次、面包屑轨迹、巨型菜单结构、移动导航模式以及导航API。适用于无头CMS架构，帮助开发者构建用户友好的导航体验。关键词：菜单设计、面包屑生成、导航API、响应式导航、无头CMS。

这个技能用于系统架构设计、API设计、组件接口规划和技术规格制定。它帮助用户在软件开发项目中设计高效、可扩展的系统结构、API规范和组件交互。关键词包括系统设计、API设计、组件接口、技术规格、软件开发、架构设计、数据库模式、迭代优化。

会话类型检查器是一种软件技能，用于验证通信协议的类型安全性，通过定义会话类型来确保分布式系统中消息传递的顺序正确，防止死锁和错误。适用于通信协议验证、分布式系统、并发编程等场景，关键词包括：会话类型、通信协议、类型系统、分布式系统、并发编程、协议验证。

语言服务器协议（LSP）是一种用于实现集成开发环境（IDE）功能的协议，提供代码自动补全、跳转到定义、悬停文档、重构等智能功能。它基于JSON-RPC，管理文本文档同步和代码分析，广泛应用于Python、TypeScript、Rust、Go等多种语言的开发工具中，提升开发效率和代码质量。关键词：LSP、语言服务器、IDE、代码导航、重构、开发工具。

闭包转换器是编译器设计和函数式语言实现中的关键技术，用于将闭包转换为显式环境传递，优化代码生成和性能。关键词：闭包转换、编译器、环境传递、lambda提升、函数式编程、代码优化、自由变量分析。

这个技能用于重构复杂的条件逻辑，通过模仿人类推理模式，如使用早期返回、自然语言变量和清晰的条件评估，以提高代码的可读性、可维护性和决策效率。适用于软件开发中的代码优化和逻辑重构，特别适合前端和后端开发场景。关键词：控制流重构、代码可读性、条件逻辑、早期返回、自然语言变量、TypeScript、软件工程、代码优化、决策逻辑。