这个技能是关于使用Rust的makepad-widgets库进行跨平台UI开发的入门指南。它帮助开发者快速上手Makepad，学习如何编写实时设计的UI代码，处理事件，并构建适用于多个平台的应用。关键词：Rust, Makepad, UI开发, 跨平台, 实时设计, 前端开发, 入门教程。

这个技能用于与 protocols.io API 集成，管理科学协议，包括搜索、创建、更新、发布协议，管理步骤和材料，处理讨论和评论，组织工作空间，上传和管理文件。适用于协议发现、协作开发、实验跟踪、实验室协议管理和科学文档，关键词包括 protocols.io、API 集成、科学协议、协议管理、协作开发、实验跟踪。

这个技能用于实现Hindley-Milner类型推理算法，支持let多态性、约束生成和解等关键功能，适用于函数式编程语言如ML、Haskell的类型系统实现。关键词：类型推理、Hindley-Milner、编程语言、函数式语言、统一化、约束解决、多态性、编译原理。

这个技能用于自动诊断和修复软件开发中的错误和故障，特别是CI/CD、构建错误、测试失败等。它通过一系列步骤和工具来指导用户解决问题，适用于VibeCoder或类似环境。关键词：故障排除、诊断、修复、CI/CD、构建错误、测试失败、软件开发、自动化。

该技能用于自动生成产品演示视频，通过代码分析、AI图像生成和并行处理技术，实现高效视频制作。适用于产品推广、视觉文档生成等场景。关键词：视频生成、自动化、产品演示、Remotion、AI技术、代码分析、并行处理。

此技能用于通过编程方式自动化发送电子邮件，支持SMTP协议、免费API（如Mailgun和SendGrid）以及隐私服务。适用于发送通知、警报、自动化报告、错误日志和用户通信工作流。关键词：电子邮件发送、SMTP、API、自动化、编程邮件、通知系统、错误日志、邮件服务。

这个技能用于指导和结构化基于工作流的Claude Code技能设计，包括多阶段流程、决策树、子代理委派、渐进式披露等模式。适用于开发涉及序列管道、路由模式、安全门、任务跟踪、分阶段执行的工作流技能，并提升技能质量和可靠性。关键词：工作流设计、技能开发、Claude Code、结构模式、多步流程、AI技能架构、工具优化、反模式避免。

这个技能用于通过TabzChrome REST API生成和管理终端标签页，支持并行工作、Claude工作者管理、工作树设置，适用于自动化工作流和DevOps场景。关键词：终端管理, TabzChrome, REST API, 并行工作, Claude, 工作树, 自动化, DevOps

这个技能用于在软件开发过程中，对比实现代码与规范文档，验证需求对齐，确保构建符合要求。它帮助识别偏差并分类问题严重性，适用于代码审查和质量保证场景。关键词：软件评审、规范验证、需求对齐、代码审查、质量保证、SDLC、验收标准。

此技能用于通过网页验证、引用管理和内容更新，自动刷新过时信息，确保准确性和透明度。适用于事实检查、文档刷新和SEO优化。关键词：网页研究、内容验证、引用跟踪、文档管理、事实检查、SEO搜索。

该技能用于自动化管理Gemini CLI文档，提供文档抓取、索引构建、搜索功能和维护自动化，提高文档管理效率和准确性。关键词：Gemini CLI、文档管理、自动化、搜索、索引、漂移检测。

本技能提供全面的GPG提交签名指南，帮助用户在Windows、macOS、Linux等多平台上设置、配置和故障排除GPG工具，确保代码提交的安全性和可验证性。涵盖密钥生成、Git配置、密码缓存、GitHub集成和常见问题解决，并遵循安全最佳实践。适用于开发者和DevOps工程师，优化开发工作流。关键词：GPG, Git, 提交签名, 密钥管理, 故障排除, 安全, 多平台, DevOps。