架构设计 Skill技能列表
API设计Skill api-design
API设计技能专注于设计清洁、可扩展和可维护的REST和GraphQL API，遵循行业最佳实践。它用于规划端点结构、定义请求/响应合同、实现版本控制、安全性和文档创建。关键词：API设计，REST API，GraphQL API，可扩展性，维护性，版本控制，安全性，端点规划。
项目重构Skill refactor-project
此技能用于自动执行项目范围内的代码重构，专注于跨文件优化、减少代码重复、标准化代码模式，以提高代码质量和可维护性。关键词：项目重构、代码重构、跨文件优化、重复减少、一致性标准化、自动化工具、代码优化、软件维护。
数据库设计Skill database-design
数据库设计技能用于创建和优化数据库结构，确保数据完整性、性能和可扩展性。它包括模式设计、索引策略、关系建模、SQL与NoSQL选择、查询优化和迁移计划。关键词：数据库设计，schema建模，索引优化，SQL数据库，NoSQL数据库，查询性能，数据迁移，可扩展性。
效应系统Skill effect-system
效应系统是一种编程技能，用于在类型级别跟踪和控制程序中的副作用，如输入输出、状态管理和异常处理，提高代码的纯度和安全性，支持优化、功能式编程和软件架构设计。关键词包括：效应系统，副作用跟踪，类型系统，功能式编程，效应处理器，编程语言设计，软件架构。
函数内联优化器Skill inline-expander
该技能用于编译器优化中的函数内联，通过替换函数调用来提升代码执行效率，减少调用开销，并促进进一步的代码优化，如常量传播和死代码消除。关键词：函数内联、编译器优化、代码优化、性能提升、LLVM、GCC、启发式决策。
JIT编译器构建者Skill jit-compiler-builder
该技能用于构建即时编译（JIT）系统，应用于动态语言运行时、虚拟机设计和性能优化。它支持机器码生成、重新编译处理、动态优化和内存管理，关键词包括JIT编译器、动态优化、编译器构建、运行时系统、性能优化和即时编译。
部分求值专家Skill partial-evaluator
部分求值是一种程序优化技术，用于通过静态计算对程序进行专业化处理。它主要应用于编译器构建、解释器专业化和代码生成，通过绑定时间分析区分静态与动态值，并利用离线或在线方法生成高效的残差程序。关键词：部分求值、程序专业化、编译器、优化、绑定时间分析、代码生成。
会话类型检查器Skill session-type-checker
会话类型检查器是一种软件技能，用于验证通信协议的类型安全性，通过定义会话类型来确保分布式系统中消息传递的顺序正确，防止死锁和错误。适用于通信协议验证、分布式系统、并发编程等场景，关键词包括：会话类型、通信协议、类型系统、分布式系统、并发编程、协议验证。
系统F（多态Lambda演算）Skill system-f
系统F（多态Lambda演算）是一种编程语言理论技能，用于实现多态类型系统、构建泛型编程结构、研究类型理论基础。它扩展了简单类型Lambda演算，支持类型抽象和类型应用，使得可以对类型进行全称量化，适用于ML风格模块系统、参数多态性理解等场景。关键词：多态Lambda演算、类型抽象、类型应用、泛型编程、类型安全、参数性、全称量化、编程语言理论、类型系统、多态性。
软件事务内存Skill transactional-memory
软件事务内存（STM）是一种并发编程技术，通过事务提供原子性操作，支持可组合的并发抽象，适用于高性能并发系统开发。关键词：软件事务内存、STM、并发编程、原子性、事务、可组合性、性能优化。
类型检查器生成器Skill type-checker-generator
类型检查器生成器是一个用于从形式化类型系统规范生成类型检查器的技能。它支持编程语言设计、编译器实现、静态分析和类型系统验证，适用于构建健全且完整的类型检查工具。关键词：类型检查、编译器、静态分析、编程语言、类型系统、代码生成、软件开发。
MilanJovanovic博客技能Skill milan-jovanovic-blog
本技能提供对 Milan Jovanovic .NET 技术博客内容的搜索和访问，专注于 Clean Architecture、领域驱动设计、CQRS 等软件架构模式，帮助开发者应用已验证的代码示例和指导，适用于 .NET 10 及以上版本的项目优化。关键词：Clean Architecture, DDD, CQRS, .NET, 软件架构, 代码模式, ASP.NET Core, Entity Framework Core。