深度防御验证是一种软件工程技能，通过在数据传递的多个层次（如入口点、业务逻辑、环境防护和调试仪器）进行系统验证，确保数据有效性，预防因无效数据导致的bug，提升系统健壮性。适用于软件开发中的架构设计和测试阶段，强调防御性编程和多层安全策略。关键词：数据验证、多层验证、防御性编程、bug预防、软件架构、系统安全、代码质量、测试验证。

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

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

本技能提供对 Milan Jovanovic .NET 技术博客内容的搜索和访问，专注于 Clean Architecture、领域驱动设计、CQRS 等软件架构模式，帮助开发者应用已验证的代码示例和指导，适用于 .NET 10 及以上版本的项目优化。关键词：Clean Architecture, DDD, CQRS, .NET, 软件架构, 代码模式, ASP.NET Core, Entity Framework Core。

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

本技能提供CQRS（命令查询职责分离）架构的完整设计与实现指南，涵盖从基础模式到高级事件驱动系统的查询优化、命令处理和同步策略。适用于构建可扩展、高性能的微服务和分布式系统。关键词：CQRS，软件架构，查询优化，事件驱动，命令处理，读模型，微服务，可扩展系统，MediatR实现。

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

这个技能用于管理项目的智能大脑，通过存储和导出/导入架构决策、技术栈选择和项目上下文，帮助AI代理保持项目背景，提高开发效率。关键词：项目管理、AI代理、决策记录、架构设计、上下文管理。

数据库设计专家技能专注于设计高效、安全和可维护的数据库模式，包括规范化、索引策略、全文搜索优化和性能优化。适用于桌面应用数据建模、本地化场景和性能调优。关键词：数据库设计，SQLite，模式设计，索引优化，性能提升，FTS，迁移安全。

简化级联是一种软件设计和架构模式，旨在通过识别一个统一的抽象原则来消除系统中的多个组件或特殊情况，从而减少复杂性和提高代码可维护性。它适用于处理重复实现、特殊情况累积和复杂性增长，帮助开发者实现10倍优化而非小幅改进。关键词：简化级联、软件架构、抽象、复杂性管理、设计模式、软件开发、架构设计。

此技能专注于通过使用ESLint、Prettier等工具建立和执行代码标准、最佳实践和架构模式，以提升代码质量和团队协作效率。关键词：代码标准、ESLint、Prettier、代码审查、代码质量、编码最佳实践、架构模式。

代码库映射技能用于生成结构化代码库地图，帮助分析项目结构、依赖关系和架构模式，适用于探索陌生代码库、文档化和架构决策。关键词：代码库映射、依赖图、文件关系、架构分析、项目文档、代码分析、软件开发、架构设计。