软件开发 Skill技能列表
Tauri桌面应用技能Skill tauri-desktop
Tauri桌面应用技能专注于使用Tauri 2.0框架构建轻量级、安全的跨平台桌面和移动应用。涉及Rust后端开发、Web前端技术、插件系统、IPC通信、安全模型、自动更新和移动支持。关键词：Tauri, Rust, Web前端, 跨平台, 桌面应用, 移动应用, 安全, 轻量级。
代码二次审查工具Skill second-opinion
这是一个使用外部大型语言模型（如OpenAI Codex和Google Gemini）进行代码审查的工具。它通过CLI接口，支持审查未提交的更改、分支差异或特定提交，帮助开发者提高代码质量、安全性和性能。关键词：代码审查、LLM、外部工具、安全扫描、性能优化、错误处理、自动化审查。
外部文档侦察技能Skill external-scout
此技能用于自动获取和缓存外部库的当前API文档，确保软件开发中使用的API模式是最新且正确的。关键词：外部库文档，API缓存，代码实现，软件开发，文档获取。
网页制品构建器Skill web-artifacts-builder
这是一个用于构建基于现代前端技术的复杂HTML制品的工具套件，特别适用于Claude.ai平台。它使用React、Tailwind CSS和shadcn/ui，支持状态管理、路由和组件化开发，便于创建高质量的前端制品。关键词：前端开发、React、Tailwind CSS、shadcn/ui、HTML制品构建、Claude.ai、状态管理、路由。
JIT编译器构建者Skill jit-compiler-builder
该技能用于构建即时编译（JIT）系统，应用于动态语言运行时、虚拟机设计和性能优化。它支持机器码生成、重新编译处理、动态优化和内存管理，关键词包括JIT编译器、动态优化、编译器构建、运行时系统、性能优化和即时编译。
单子变换器Skill monad-transformer
单子变换器是一种在函数式编程中实现效果组合的技能。它通过提供可重用的变换器层，允许开发者组合多个单子效果，如状态管理、错误处理和IO操作。关键词包括：单子、变换器、函数式编程、效果组合、Haskell、Scala、可组合性、架构设计。
会话类型检查器Skill session-type-checker
会话类型检查器是一种软件技能，用于验证通信协议的类型安全性，通过定义会话类型来确保分布式系统中消息传递的顺序正确，防止死锁和错误。适用于通信协议验证、分布式系统、并发编程等场景，关键词包括：会话类型、通信协议、类型系统、分布式系统、并发编程、协议验证。
Makepad平台技能Skill makepad-platform
这个技能专注于Makepad跨平台开发，提供平台支持、条件编译和平台API使用指导，帮助开发者在macOS、Windows、Linux、iOS、Android、Web等多个操作系统上构建兼容且高性能的应用。关键词：Makepad、跨平台开发、平台支持、条件编译、OsType、图形后端、前端UI。
会话调试分析Skill dyad:session-debug
这个技能用于分析会话调试数据，识别并诊断软件中的错误和问题，以帮助解决用户报告的问题。关键词包括：会话调试、错误分析、GitHub问题、故障排除、软件测试、数据解析、问题诊断。
Nango自动化技能Skill nango-automation
这个技能用于通过Rube MCP自动化Nango操作，利用Composio的Nango工具包实现任务自动化、工具集成和工作流管理。关键词：Nango自动化，Rube MCP，Composio，工具发现，任务执行，DevOps自动化，MCP协议。
Ninox自动化集成技能Skill ninox-automation
这个技能用于通过Rube MCP和Composio工具包自动化Ninox数据库任务，实现工具发现、连接管理和工作流执行自动化。关键词：Ninox自动化、Rube MCP、Composio、低代码开发、工作流自动化、工具集成、数据自动化。
ProcessStreet自动化Skill process-street-automation
这个技能用于通过Rube MCP自动化Process Street任务，集成Composio工具包，实现工作流自动化和工具管理，提升操作效率。关键词：Process Street自动化, Rube MCP, Composio, 工作流自动化, 工具集成, DevOps自动化。