协作规划文件技能是一个用于软件开发的多领域串行任务生成工具，通过统一计划笔记实现协作规划，自动检测文件、依赖和策略冲突。关键词：协作规划、串行任务、计划笔记、冲突检测、软件开发。

此技能专注于编码标准，帮助开发者遵循单一职责原则，确保函数简短且专注。适用于代码审查和重构，提升代码质量和可维护性。关键词：函数长度、单一职责、代码审查、编码规范、代码重构。

该技能专注于实现客户端-服务器网络架构，核心功能包括构建权限模型、执行服务器端验证、实现客户端预测以及管理应用状态。适用于需要网络通信、数据同步和权限控制的软件系统开发。 关键词：客户端-服务器架构，网络编程，权限模型，服务器验证，状态管理，分布式系统，软件架构

这个技能用于将可重用技能集成到项目开发指南中，通过更新文档、创建代码示例和优化开发流程，提高项目管理效率和质量。关键词：技能集成、开发指南、代码模板、项目管理、文档化、最佳实践。

该技能用于分析和优化软件系统的性能，包括代码分析、算法复杂性评估、数据库优化、内存管理、缓存策略和系统可扩展性，帮助识别和解决性能瓶颈，提高系统效率和响应速度。关键词：性能优化、代码分析、算法、数据库、内存、缓存、可扩展性、瓶颈识别。

战略规划顾问技能专注于提供系统架构、可扩展性和长期维护策略的高层专业建议，帮助在项目初期做出明智的架构决策，关键词包括系统架构、可扩展性、长期维护、战略规划、架构设计、高层建议。

并行探索是一个软件开发技能，用于使用 git worktrees 并行测试多种实现方法，帮助在面临技术决策时比较选项、评估优劣并提高代码质量。关键词包括：并行探索、git worktrees、软件开发、决策比较、代码实现、选项评估、架构设计。

这个技能用于帮助中级开发者起草实用的系统设计方案，包括澄清需求、提出组件和权衡等步骤。关键词：系统设计，架构设计，软件开发，需求分析，权衡决策。

这个技能用于软件系统架构的全面审计，包括安全检查、性能评估、命名规范验证和技术债务分析，确保代码质量和系统稳定性。关键词：架构审计、安全检查、性能优化、命名约定、技术债务、软件质量、系统维护。

Rust系统架构设计是一项专注于使用Rust编程语言进行高性能、内存安全系统开发的技能。它提供专家指导，涵盖内存安全、并发模式、架构设计、错误处理、性能优化等关键词，适用于构建可靠、高效的系统软件、Web服务器、嵌入式系统和库，帮助开发者掌握Rust的惯用实践和生态系统工具，提升软件质量和可维护性。

数据库模式设计技能用于创建和管理数据库结构，包括规范化到第三范式、定义表关系、设置约束和预防常见错误。适用于PostgreSQL和MySQL数据库，覆盖新数据库开发、模式审查、迁移和性能优化。关键词：数据库设计、模式规范化、主键外键、数据完整性、SQL约束、审计跟踪、性能优化、PostgreSQL、MySQL。

类型健全性证明助手是一个专门用于辅助构建编程语言类型系统形式化证明的工具。它提供进展定理和保持定理的证明模板、替换引理生成、规范形式推导、案例枚举以及向Coq、Agda等证明助手的机械化转换指导。适用于编程语言理论研究者、形式化方法工程师和编译器开发者进行类型安全性的形式化验证。 关键词：类型健全性证明，进展定理，保持定理，形式化验证，编程语言理论，类型系统，证明助手，Coq，Agda，替换引理