该技能用于从AI会话中提取非显而易见的知识和解决方案，转化为可重用的技能文件，便于未来参考和自动化。关键词：技能提取、知识管理、工作流优化、调试技巧、Claude工作流。

Convex 开发技能是一个综合指导技能，用于Convex后端开发，提供核心开发如函数编写和数据库模式定义、数据存储管理、高级模式如AI代理和定时作业、安全审计以及最佳实践。适用于开发者快速上手Convex平台，优化后端应用开发。关键词：Convex开发、后端开发、数据库、实时订阅、HTTP动作、安全审计、AI代理、最佳实践、量化交易、数据统计分析。

该技能专注于分布式系统的形式化验证，能够自动生成和分析TLA+规范。它帮助工程师设计可靠的分布式协议，通过模型检查确保系统满足安全性和活性属性。核心功能包括：从协议描述生成TLA+模块、定义系统不变式和时序逻辑属性、配置状态空间探索、执行TLC模型检查以及建立精化映射。适用于分布式算法设计、并发系统验证和协议正确性证明。 关键词: TLA+规范, 分布式系统验证, 模型检查, 形式化方法, PlusCal翻译, 精化映射, 安全属性, 活性属性, TLC模型检查器, 系统建模

实验设计专家是一个专业的AI技能，专注于过程优化中的实验设计与分析。该技能提供完整的实验设计解决方案，包括全因子设计、分数因子设计、响应曲面方法、筛选设计等。通过方差分析、效应估计和优化算法，帮助用户识别关键影响因素、建立预测模型并确定最优工艺参数。适用于质量工程、工艺优化、产品开发、科学研究等领域，提升实验效率和数据驱动的决策能力。 关键词：实验设计 DOE 因子设计 响应曲面 方差分析 过程优化 质量工程 统计建模 工艺参数优化 实验分析

世界构成技能是一种用于游戏开发中大型开放世界场景的流式处理技术。它通过世界分区系统，实现游戏场景的动态加载与卸载，优化内存使用和性能表现，支持无缝的大规模地图探索。关键词：开放世界，流式加载，世界分区，游戏开发，性能优化，动态加载，Unreal Engine，游戏引擎。

这个技能提供关于单仓库（Monorepo）架构的全面指导，帮助设计、构建和管理单仓库结构，包括工作空间组织、依赖管理、版本控制和最佳实践，适用于从小型项目到企业级应用程序的软件开发。关键词：单仓库、代码管理、软件架构、依赖管理、版本控制、工作空间配置、最佳实践、软件开发。

本技能专注于使用Rust语言构建高效、用户友好的命令行界面工具。涵盖参数解析、配置管理、进度显示、错误处理、终端UI等核心领域。关键词：Rust CLI，命令行工具，参数解析，终端应用，clap，ratatui，indicatif，配置管理，用户体验，自动化脚本。

这个技能用于在软件开发过程中遇到bug、测试失败或意外行为时，通过系统化方法调查根本原因、分析模式、形成假设并实施修复。它强调避免随机修复和症状掩盖，确保从根本上解决问题，提高调试效率和软件质量。关键词包括：调试、根因分析、软件测试、故障排除、系统化方法、修复验证、错误追踪。

Claude Code模板技能提供了一套完整的扩展开发样板，包括智能体创建、技能开发、命令模板和钩子脚本。该技能帮助开发者快速构建Claude AI的定制化扩展，提高开发效率，支持自动化工作流和专家角色配置。关键词：Claude Code扩展、AI智能体开发、模板脚手架、自动化脚本、开发工具、技能创建、钩子脚本、命令模板。

这个技能提供了Vercel Engineering维护的React和Next.js性能优化指南，包含45个规则，帮助开发者优化代码性能，涉及数据获取、包大小优化、渲染优化等关键领域，适用于前端开发，提升应用程序加载速度和用户体验。关键词：React性能优化, Next.js最佳实践, 前端开发指南, Vercel工程, 代码重构, 性能改进, SEO优化。

安全计算器技能用于安全地评估数学表达式，通过Python等工具实现，确保计算过程无风险，适用于软件开发、教育和数据分析场景。关键词：安全计算器、数学表达式求值、Python工具、计算安全、软件开发工具。

此技能用于通过Rube MCP和Composio平台自动化Printautopilot任务，包括工具发现、连接验证和执行工作流，适用于自动化工作流和工具集成。关键词包括自动化、Printautopilot、Rube MCP、Composio、AI智能体、工作流、工具集成。