Menu
SkillsMP has collected 4 skills from starlink-awaken/pai-architecture-skills. Open a skill to review its source and details.
Showing 4 of 4 collected skills.
架构决策记录管理工具。USE WHEN ADR, architecture decision record, 架构决策, decision log, decision tracking, 决策记录, 架构日志, decision record, architecture log, RFC. 提供ADR模板、生命周期管理、决策追踪、决策追溯能力。
Source text: Mixed languages
复杂系统架构建模与方法论工具。USE WHEN architecture, system design, software architecture, 架构设计, 系统设计, 架构建模, 架构分析, 架构评审, 架构决策, architecture review, architecture decision, system modeling, 形式化架构. 整合C4模型、形式化方法、ADR记录、第一性原理分析等能力。
Source text: Mixed languages
C4模型架构建图工具。USE WHEN C4, architecture diagram, system context, container diagram, component diagram, C4模型, 架构图, 系统上下文图, 容器图, 组件图, architecture visualization, 架构可视化. 提供C4模型的Mermaid/PlantUML生成、文档化、代码即架构能力。
Source text: Mixed languages
形式化方法与建模工具。USE WHEN formal methods, TLA+, Alloy, model checking, formal verification, 形式化, 形式验证, 状态机建模, 模型检查, 协议验证, property verification. 提供TLA+和Alloy的建模、验证、实例生成能力。
Source text: Mixed languages