这个技能是一个模板，用于创建和管理AI助手技能文件。它详细介绍了技能描述的编写、触发关键词的设置、使用场景的定义、结构模式的选择，并提供示例和资源管理指南。适用于AI技能开发者、系统集成者和定制化AI助手项目。关键词：技能模板、AI助手、技能开发、Markdown文档、触发器关键词。

这个技能用于管理monorepo代码库中的脚本命令，包括代码格式化、linting检查和类型验证等，旨在提高开发效率、确保代码质量，并适用于持续集成/持续部署（CI/CD）流程。关键词：monorepo, 脚本命令, 代码格式化, linting, 类型检查, CI/CD, 开发工具。

这个技能是一个日常编码质量保证工具，提供检查清单，帮助开发者在编写和修改代码时遵循最佳实践，提高代码质量、安全性和可维护性。关键词包括：编码检查清单、代码质量、最佳实践、Python、TypeScript、安全编码、开发工具、质量保证、编程规范。

修复验证技能用于严格验证软件漏洞的修复是否成功，确保修复后不会引入新的问题。它通过复现漏洞、应用修复、验证修复效果和检查回归测试来保证软件质量。关键词：修复验证、漏洞测试、回归测试、软件测试、质量保证、Rust 代码、mandos 场景。

Dafny验证器是一种用于构建带有形式化证明的验证程序的技能，支持规范编写、自动验证、引理证明和代码生成。关键词：Dafny、形式化验证、程序证明、算法正确性、验证代码、软件测试、质量保证。

这个技能详细介绍了Elixir编程语言的惯用模式、BEAM架构原理、OTP框架应用和最佳实践。旨在帮助开发者编写高效、可维护的并发代码，适用于后端开发。关键词：Elixir，BEAM，OTP，函数式编程，并发编程，最佳实践。

Ecto模式是Elixir语言中数据库操作的库，提供模式、查询、变更集和迁移的最佳实践参考，帮助开发者避免常见错误并提升代码质量。关键词：Ecto、Elixir、数据库、模式、查询、变更集、迁移、后端开发、最佳实践。

此技能专用于调试Ecto ORM框架中的数据库约束违规问题，提供系统化的方法来诊断和解决唯一约束、外键约束和检查约束错误。通过解析错误、检查迁移、追踪插入路径和识别并发问题，帮助开发人员快速定位和修复数据库相关问题。适用于后端开发，关键词包括Ecto调试、约束错误、数据库约束、唯一索引、外键约束、并发控制、迁移检查。

这个技能提供了基于 Robius 框架和 Makepad 构建应用程序的架构模式最佳实践，专注于异步集成、Tokio 运行时、UI 和后台任务通信，适用于开发高效异步处理的生产级跨平台应用。关键词包括：Robius、Makepad、异步架构、Tokio、应用程序设计、跨平台开发、UI 线程、后台任务、SignalToUI、Cx::post_action。

开发体验优化是一种专注于通过配置开发工具、自动化工作流程和优化设置来改善开发人员生产效率的技能。关键词包括：DevOps、工具配置、工作流自动化、开发效率、项目快速启动、代码质量、快速设置。

该技能用于自动化创建Claude Code技能，通过获取官方文档并生成标准化技能文件，适用于快速添加新技能、创建斜杠命令或自动化工作流的场景。关键词：技能创建、自动化、Claude Code、文档获取、低代码开发。

这个技能用于构建研究到实现的自动化管道，通过链式连接多个MCP工具（如文档搜索、代码分析、质量检查和Git操作），实现端到端工作流。关键特性包括优雅降级、环境变量修复和错误处理，适用于软件开发中的工具集成和DevOps流程。关键词：MCP工具链、研究到实现管道、优雅降级、代码质量检查、Git操作、DevOps、软件开发自动化。