本技能用于实现和操作 lambda 演算解释器，支持无类型和简单类型变体，涵盖 β-归约、闭包、评估策略（如按值调用和按名调用）等核心概念。适用于学习功能性编程基础、构建语言解释器、研究编程语言理论。关键词：lambda 演算、解释器、功能性编程、闭包、β-归约、评估策略。

这个技能用于自动化Mx Toolbox任务，通过Rube MCP和Composio的工具包。用户可以搜索工具、管理连接并执行自动化工作流，提高工具操作效率。关键词：Mx Toolbox自动化、Rube MCP、Composio、工具搜索、工作流自动化、DevOps、AI智能体。

这个技能是关于如何使用不同的测试框架（如Jest、pytest、JUnit等）编写高效、隔离、易读和易维护的单元测试，遵循AAA模式，适用于新代码测试、提高测试覆盖率、建立测试标准等场景。

代码合并审计是一个用于检测和修复Go语言项目源代码规范漂移的自动化工具。它通过12项系统检查（包括命名规范、魔法字符串、硬编码权限、文件大小、TODO注释、路径构建、行宽、重复代码、架构图、死导出、包文档和死链接），确保代码库在快速迭代后仍符合项目约定。适用于YOLO冲刺后、版本发布前或开发比例失衡时进行代码质量加固，提升可维护性并防止技术债务累积。关键词：代码审计、规范检查、技术债务、Go语言、代码质量、自动化工具、DevOps、代码重构。

这个技能是一个全面的代码质量验证系统，用于确保代码更改的质量，通过多个阶段包括构建验证、类型检查、lint检查、测试套件、安全扫描和差异审查。关键词：代码质量、验证、构建、测试、安全、CI/CD、代码审查、质量保证。

这个技能专注于使用WebSockets、Server-Sent Events、长轮询和WebRTC等技术构建实时通信应用程序，适用于聊天、协作、游戏、金融交易、IoT仪表板等场景。它涵盖从基础概念到高级架构的实现，包括客户端和服务器端开发、消息协议、安全性和缩放策略。关键词：WebSockets, 实时通信, 双向通信, 服务器推送, 聊天应用, 游戏开发, 金融交易, IoT, Node.js, React, 安全认证, 水平缩放。

该技能用于在开始前端开发任务前，系统阅读和理解相关开发指南，以确保代码质量、一致性并遵循最佳实践，关键词包括前端开发、指南阅读、编码标准、代码规范、SEO优化。

在React中使用Framer Motion、GSAP、React Spring和CSS动画创建高效、可访问的动画，包含最佳实践。

这个技能提供在Godot引擎中开发节奏游戏的全面蓝图，涵盖音频同步、音符高速公路、时间判断系统、评分和输入处理等核心功能。适用于游戏开发者、程序员和节奏游戏爱好者，帮助实现流畅的节奏游戏体验。关键词：节奏游戏开发、Godot引擎、音频同步、游戏编程、音符处理、时间判断、评分系统、输入处理。

自动化代码审查技能，用于在代码提交和部署前强制执行代码质量、安全性和性能检查，支持多种AI审查引擎。

这个技能自动生成预配置的开发容器（devcontainer），集成Claude Code和多种语言工具链，支持Python、Node.js、Rust、Go等编程语言，适用于快速搭建隔离、沙盒化的开发环境，提升开发效率并简化项目配置。关键词：devcontainer, 开发容器, Claude Code, 语言工具, 隔离环境, 自动化配置, 软件开发环境, 容器化开发。

该技能专注于设计和实现用户引导与帮助系统，包括产品导览、互动教程、工具提示、设置清单、帮助面板等，旨在提升用户体验、促进功能发现、增强用户激活。关键用于前端开发中的用户界面引导、上下文帮助、入职流程优化，并整合可访问性和数据分析。关键词：用户引导、产品导览、帮助系统、前端开发、用户体验、入职流程、可访问性。