架构设计 Skill技能列表
创建命令Skill create-command
此技能用于创建新的斜杠命令,包括解析用户输入、分析需求、生成命令内容、创建文件并确认创建。适用于软件开发中的命令行工具创建和管理,关键词:斜杠命令、创建命令、命令管理、开发工具、自动化流程。
软件事务内存Skill transactional-memory
软件事务内存(STM)是一种并发编程技术,通过事务提供原子性操作,支持可组合的并发抽象,适用于高性能并发系统开发。关键词:软件事务内存、STM、并发编程、原子性、事务、可组合性、性能优化。
别名与指向分析Skill alias-and-points-to-analysis
该技能用于静态分析中的别名和指向分析,计算指针的指向目标和别名关系,适用于编译器优化、内存安全验证、程序理解、并行化等场景。关键词:静态分析、别名分析、指向分析、指针、编译器优化、内存安全。
Godot组合应用架构Skill godot-composition-apps
这个技能提供了在Godot游戏引擎中使用组合模式构建可扩展应用程序、工具、UI或游戏的专家级架构标准。它强调单一职责原则和‘Has-A’关系优于‘Is-A’继承,适用于设计节点结构、重构单体脚本和实现复杂行为,便于SEO搜索关键词:Godot、组合模式、架构设计、游戏开发、UI设计。
纵深防御验证Skill defense-in-depth
纵深防御验证是一种软件开发技能,通过在多系统层(如入口验证、业务逻辑验证、环境守卫和调试工具)进行数据验证,以防止bug发生并提高代码健壮性。关键词:数据验证,多层防御,错误预防,代码质量,架构设计。
数据系统架构Skill data-systems-architecture
数据系统架构技能用于设计、优化和维护高性能数据系统,涵盖数据库设计、索引策略、事务处理、可扩展性规划和性能调优,适用于数据密集型应用。关键词包括数据系统设计、数据库架构、性能优化、可扩展性、OLTP与OLAP、事务并发、数据建模。
MLIR方言设计Skill mlir-dialect-designer
MLIR方言设计技能用于设计MLIR(多级中间表示)的方言和变换,支持编译器开发、IR抽象和多级降低,适用于编译器优化和LLVM生态系统集成,关键词包括MLIR、编译器、方言、变换、LLVM。
工厂函数组合Skill factory-function-composition
工厂函数组合技能专注于在TypeScript中应用工厂函数模式,实现干净的依赖注入和函数组合,通过分离客户端、服务和方法的配置提高代码的可测试性、可重用性和灵活性,适用于软件开发架构设计。关键词:工厂函数、依赖注入、函数组合、TypeScript、设计模式、可测试代码。
质量属性分类法Skill quality-attributes-taxonomy
本技能提供了一个全面的框架,用于理解和应用质量属性(非功能性需求)在系统设计中。它涵盖了核心质量属性如可扩展性、可靠性、可用性、性能、安全性和可维护性,并包括详细定义、测量、权衡和场景。适用于定义NFRs、评估架构、进行设计评审等,是软件架构设计的关键工具。关键词:质量属性,非功能性需求,系统设计,NFR,可扩展性,可靠性,可用性,性能,安全性,可维护性,架构设计。
类型检查器生成器Skill type-checker-generator
类型检查器生成器是一个用于从形式化类型系统规范生成类型检查器的技能。它支持编程语言设计、编译器实现、静态分析和类型系统验证,适用于构建健全且完整的类型检查工具。关键词:类型检查、编译器、静态分析、编程语言、类型系统、代码生成、软件开发。
效应系统Skill effect-system
效应系统是一种编程技能,用于在类型级别跟踪和控制程序中的副作用,如输入输出、状态管理和异常处理,提高代码的纯度和安全性,支持优化、功能式编程和软件架构设计。关键词包括:效应系统,副作用跟踪,类型系统,功能式编程,效应处理器,编程语言设计,软件架构。
消息队列应用技能Skill using-message-queues
该技能涉及使用消息代理和任务队列实现异步通信模式,专为构建事件驱动系统、处理后台作业或实现服务解耦而设计。涵盖Kafka、RabbitMQ、NATS、Redis Streams、Celery、BullMQ和Temporal等技术,适用于微服务架构、数据分析管道和复杂工作流编排。关键词:消息队列、异步通信、事件驱动、服务解耦、后台作业、任务队列、事件流、工作流编排、微服务、Kafka、RabbitMQ、NATS、Redis、Celery、BullMQ、Temporal。