URL分析技能是一个集技术验证与上下文评估于一体的专业工具，用于链接质量保证、内容审核和SEO优化。核心功能包括：URL有效性检查（HTTP状态、重定向、SSL）、链接上下文匹配度分析、批量链接提取与分类、安全风险评估以及链接质量评分。适用于网站维护、内容管理、技术文档审查和数字营销等场景，确保所有链接功能正常、内容相关且安全可靠。关键词：URL验证，链接分析，内容审核，SEO审计，链接质量，技术验证，上下文分析，安全检查。

这是一个为首席技术官（CTO）和高级技术领导者设计的综合性技能工具包，提供技术债务分析、团队规模计算、工程指标框架、架构决策记录（ADR）模板和技术评估框架。核心功能包括：技术战略规划、工程团队扩展、架构治理、供应商管理和工程卓越指标监控。适用于评估技术债务、制定招聘计划、进行技术选型、建立工程文化和管理技术危机。关键词：CTO, 技术领导力, 技术债务, 团队扩展, 架构决策, 工程指标, DORA指标, ADR, 技术战略, 工程管理, 团队组织, 供应商评估, 危机管理, 技术治理, 工程卓越。

这个技能用于家庭财务管理，设置每周消费上限并允许在紧急情况下例外，帮助用户保持预算纪律又不失灵活性。关键词：每周预算、消费控制、应急例外、家庭财务、预算管理。

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

该技能用于为初创企业的每周运营审查分配明确的所有权和责任检查点，确保每个跟踪指标和会议都有指定的负责人和审查协议，以提升监控效率和决策质量。关键词：初创企业、周度审查、所有权、责任、检查点、运营节奏、跟踪指标、问责、管理框架。

此技能用于生成简洁、专业的合作邀请邮件，帮助用户在商务沟通中高效提议合作，遵守字数限制和语气要求。关键词包括：邮件生成、合作邀请、商务沟通、简洁性、专业语气、SEO优化。

这个技能用于帮助开发者编写函数文档字符串，特别适用于初级开发者，涉及描述函数输入、输出和错误条件，匹配项目风格，以提高代码可读性和维护性。关键词：函数文档、文档字符串、代码注释、软件开发、编程实践。

Slack GIF 创建器是一个工具包，专门用于创建和优化符合Slack平台要求的动画GIF。它提供验证器检查文件大小和尺寸约束，动画原语如抖动、弹跳、旋转等构建块，以及辅助工具如颜色管理和文本渲染。支持消息GIF和表情GIF，优化文件大小和视觉效果，关键词包括Slack GIF、动画制作、文件优化、验证器、动画原语、图像处理。

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

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

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

程序转换器是一种用于程序分析和编译器工程的技能，通过语义保持的转换和优化传递来改进程序性能、简化代码结构并确保程序属性，广泛应用于编译器开发、程序优化工具、重构工具和领域特定语言实现中。关键词：程序转换、语义保持、优化、编译器工程、程序分析、AST操作、代码重构。