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

这个技能提供系统设计和容量规划所需的快速估算框架，用于估计QPS、存储、带宽和延迟，帮助进行架构决策和面试准备。关键词：快速估算、系统设计、容量规划、QPS、存储计算、带宽估计、延迟参考、架构决策。

这个技能提供了系统设计面试的结构化4步框架，帮助用户有效准备和展示设计能力。适用于技术面试、白板设计练习和架构讨论。关键词包括系统设计、面试方法论、架构设计、技术面试准备、白板设计。

API设计基础技能用于指导如何设计有效的API，涵盖协议选择（如REST、GraphQL、gRPC）、资源建模、端点设计和最佳实践。适用于开发者和架构师，提升API的可用性、一致性和开发者体验。关键词：API设计，REST API，GraphQL，gRPC，协议比较，资源命名，错误处理，API进化，开发者体验。

本技能提供在.NET应用程序中实施韧性模式的全面指南，涵盖断路器、重试、死信队列等关键模式，使用Polly和Brighter库实现故障容错和瞬态故障处理。关键词：韧性模式、断路器、重试、死信队列、.NET、Polly、Brighter、故障容错、瞬态故障、HTTP客户端韧性、消息处理程序韧性。

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

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

这个技能用于掌握后端架构模式，如清洁架构、六边形架构和领域驱动设计，帮助设计和重构可维护、可测试、可扩展的系统。适用于系统设计、架构师角色、后端开发等场景，关键词包括架构模式、Clean Architecture、Hexagonal Architecture、DDD、后端架构、可维护性、可测试性、可扩展性。

技术蓝图写作技能用于创建和更新技术蓝图文档，涵盖新功能、API更改和架构修改。它强调先搜索现有文档以避免重复，并以结构化方式编写，确保准确性和一致性。关键词：技术文档、蓝图、架构设计、API文档、软件开发、文档编写。

类型推断引擎是一个专注于编程语言类型系统的专家技能，提供算法W、约束生成与求解、统一化、Hindley-Milner多态性等核心类型推断算法的实现指导与测试。适用于编译器开发、静态分析工具构建和编程语言设计。关键词：类型推断，算法W，Hindley-Milner，统一化，约束求解，编程语言理论，编译器，静态类型。

Gemini 代码库探索工具是一款基于Google Gemini AI模型的智能工具，用于自动化分析和探索代码库结构、依赖关系及设计模式。它能够处理大型代码库，生成结构化的Markdown报告，适用于软件开发中的架构设计审查、依赖映射和代码质量评估。关键词：Gemini AI，代码库探索，架构分析，依赖映射，设计模式，Markdown报告，AI辅助开发，代码审查，DevOps工具，自动化分析。

该技能用于生成企业架构的仪表板，监控架构决策记录（ADR）、文档覆盖度和Zachman框架覆盖度等关键指标，帮助团队评估架构健康状况并提供改进建议。关键词：企业架构、仪表板、ADR、文档覆盖、Zachman框架、架构监控。