软件开发 Skill技能列表
MongoDBCRUD操作Skill mongodb-crud-operations
此技能专注于MongoDB数据库的CRUD（创建、读取、更新、删除）操作，包括文档插入、查询、更新和删除。学习BSON格式、ObjectId、数据类型及基本操作，适用于后端开发、数据存储和NoSQL数据库应用。关键词：MongoDB, CRUD, 数据库, NoSQL, 后端开发, 数据操作, 文档管理
标准执行Skill standards-enforcement
此技能专注于通过使用ESLint、Prettier等工具建立和执行代码标准、最佳实践和架构模式，以提升代码质量和团队协作效率。关键词：代码标准、ESLint、Prettier、代码审查、代码质量、编码最佳实践、架构模式。
生产代码审计Skill production-code-audit
此技能用于自动深度扫描整个代码库，识别并修复架构、安全性、性能、代码质量等问题，系统地将代码优化到企业级生产质量，包含关键词：代码审计、生产级优化、自动扫描、安全性提升、性能优化、架构重构、企业标准。
技能质量评估器Skill skill-quality-reviewer
本技能用于评估Claude技能的质量，通过分析描述质量、内容组织、写作风格和结构完整性等维度，生成加权分数、等级和改进计划。适合技能开发者、质量保证人员和需要验证技能结构的用户使用。关键词：技能评估、质量分析、Claude技能、质量报告、改进建议、SEO优化。
闭包转换器Skill closure-converter
闭包转换器是编译器设计和函数式语言实现中的关键技术，用于将闭包转换为显式环境传递，优化代码生成和性能。关键词：闭包转换、编译器、环境传递、lambda提升、函数式编程、代码优化、自由变量分析。
效应类型系统Skill effect-type-system
效应类型系统是一种编程技能，用于实现代数效应类型系统，帮助开发者在处理副作用、可扩展效应和效应推断时，以类型安全的方式设计和跟踪计算。它适用于编译器和解释器设计、编程语言实现和系统架构，提高代码可靠性和可维护性。关键词：效应类型系统、代数效应、类型系统、副作用管理、效应推断、编程语言设计、软件开发架构、效应处理器。
线性类型实现器Skill linear-type-implementer
该技能用于实现线性类型系统和线性 lambda 演算，支持资源管理、量子编程、内存验证等应用。关键词包括线性类型、线性 lambda 演算、资源管理、量子计算、内存管理、线性逻辑、类型系统。
操作语义定义器Skill operational-semantics-definer
操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。
可复用部件设计模式技能Skill robius-widget-patterns
这个技能提供了基于Robrix和Moly代码库的Makepad部件设计最佳实践，包括可复用部件、模态对话框、拖放重排序、动态样式应用等多种模式，帮助开发者高效创建和优化UI组件。关键词：Makepad部件、可复用设计、模态、拖放、优化、UI组件、设计模式、前端开发、软件开发。
Google日历自动化技能Skill googlecalendar-automation
这个技能用于通过Rube MCP和Composio工具包自动化Google Calendar任务，实现工具发现、连接管理、工作流执行等功能。关键词：Google日历自动化，Rube MCP，Composio，自动化工作流，日历管理，工具集成。
Google地图自动化Skill google_maps-automation
这个技能用于通过Rube MCP和Composio工具包实现Google Maps任务的自动化，包括地理编码、方向计算、地点搜索和距离测量。它支持自动化工作流开发，提升效率和集成能力。关键词：Google Maps自动化，Rube MCP，Composio，地理编码，方向搜索，低代码开发。
GoogleClassroom自动化Skill google_classroom-automation
这个技能用于通过Rube MCP和Composio工具包自动化Google Classroom操作，包括课程管理、作业分配、学生名册维护和公告发布，提高教育工作效率。关键词：Google Classroom自动化，Rube MCP，Composio，课程管理，作业自动化，教育技术。