该技能用于诊断故事体裁问题，生成体裁特定元素，确保故事兑现情感承诺。适用于写作、故事开发、创意写作等领域，帮助作家优化故事结构，提升读者体验。关键词：体裁诊断、故事创作、情感体验、写作工具、SEO优化、创意写作、故事结构。

Figma分析器技能用于通过Figma REST API提取设计资产、元数据和设计令牌，支持图像导出和UI研究，关键词包括Figma、API、设计工具、UI设计、元数据提取、设计令牌、图像导出、UI研究。

这个技能用于代码重构，旨在提高代码可维护性而不改变业务逻辑。它通过分析代码问题、应用重构技术、严格测试验证来确保行为不变。关键词：代码重构、可维护性、测试驱动、行为保留、重构协调器。

这个技能用于管理 Claude Code 中的 Language Server Protocol (LSP) 配置，提供 LSP 服务器推荐、.lsp.json 配置文件指南、安装指导和故障排除服务，帮助开发者优化代码编辑体验。关键词：LSP, 语言服务器, 代码智能, 配置管理, 故障排除, 开发工具。

Opentrons热循环仪模块技能用于自动化PCR热循环过程，通过精确控制块和盖温度、执行温度配置文件，并支持自动密封盖，实现高通量分子生物学工作流的全自动化。关键词：Opentrons、热循环仪、PCR、自动化、温度控制、分子生物学、实验室自动化。

此技能用于自动化 QuickBooks Online 的会计操作，包括创建发票、管理客户、查询账户和列出支付，以简化财务报告和簿记流程。关键词：QuickBooks 自动化、发票管理、客户管理、财务自动化、会计软件集成、API 调用、自动化工具。

类型类实现技能用于在编程语言中实现ad-hoc多态性和重载，通过定义类声明、实例声明等操作，支持类型安全的多态操作，常见于Haskell、Rust和Scala等语言。关键词：类型类、多态性、编程语言、Haskell、Rust、Scala、重载、类型安全。

行多态性是一种类型系统技术，用于实现可扩展的记录和变体类型。它支持结构化的多态性和类型推断，适用于编程语言设计、对象系统和类型安全的数据查询。关键词：行多态性、可扩展记录、类型系统、编程语言、对象系统、数据库查询。

这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。

操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。

跨过程分析是一种静态分析技能，用于分析程序中函数或过程之间的交互，实现全程序分析。它涉及构建调用图、执行上下文敏感分析等，常用于安全漏洞检测、编译器优化和bug查找。关键词：跨过程分析、静态分析、程序分析、安全检测、编译器优化。

这个技能是用于专业文档处理的工具集，支持创建、编辑、分析Word文档，包括文本提取、XML访问、跟踪更改、格式化等，适用于法律、学术和商业文档。关键词：文档处理，Word，跟踪更改，XML，专业文档。