软件开发 Skill技能列表
gh-issues自动修复GitHub问题Skill gh-issues
自动化处理GitHub问题，使用并行子代理修复问题并创建PR，监控并处理PR评论。关键词：自动化、GitHub、问题修复、PR创建、评论处理。
Refiner自动化Skill refiner-automation
该技能用于通过Rube MCP自动化Refiner任务，实现工具发现、连接管理、工作流执行和自动化操作，提升开发效率。关键词：Refiner自动化，Rube MCP，Composio，工具搜索，自动化工作流，DevOps，API集成。
操作语义构建器Skill operational-semantics-builder
该技能用于指导用户为编程语言定义和测试操作语义规范。它支持生成小步和大步语义规则、定义求值上下文、处理变量替换与绑定，并能执行语义测试和等价性验证。关键词包括：操作语义、编程语言理论、语义规则、求值上下文、PLT Redex、K Framework、语义验证。
递推关系求解器Skill recurrence-solver
递推关系求解器是一个专注于算法分析的技能，专门用于求解计算机科学中分治、递归等算法复杂度分析时产生的递推关系。它支持主定理、代入法、递归树、生成函数、Akra-Bazzi等多种经典求解方法，并能处理非标准形式，是算法工程师、计算机科学学生和研究人员进行算法复杂度分析的得力工具。关键词：递推关系求解，主定理，算法复杂度分析，递归树，生成函数，算法分析，计算机科学。
SMT求解器接口Skill smt-solver-interface
SMT求解器接口技能提供在形式化验证、程序综合和自动推理中使用SMT（可满足性模理论）求解器的专业指导。该技能涵盖Z3、CVC5等主流求解器的查询生成、理论选择、模型提取和调试分析，帮助开发者解决软件验证、硬件验证、约束求解等复杂问题。关键词：SMT求解器，形式化验证，程序综合，Z3，CVC5，自动推理，约束求解，软件验证。
Robius事件与动作模式技能Skill robius-event-action
本技能专注于在Makepad应用程序中实现事件处理和动作模式的最佳实践，基于Robrix和Moly代码库。它提供了自定义动作定义、小部件事件处理、集中动作处理以及异步动作集成等模式，适用于UI开发和前端应用构建。关键词：Makepad事件处理，动作模式，UI开发，Rust编程，Robrix，Moly，小部件动作，异步处理，前端框架。
Raisely自动化技能Skill raisely-automation
这个技能用于自动化Raisely平台的任务，通过Rube MCP和Composio工具包实现工具发现、连接管理和工作流执行，提高操作效率和集成自动化。关键词：Raisely自动化、Rube MCP、Composio、API集成、自动化脚本、MCP服务器、工具发现、DevOps自动化。
系统性事件调查方法论Skill investigate
这个技能提供了一套系统性的方法论，用于调查生产环境中的事件，如服务中断、错误和延迟问题。它涵盖了从问题范围界定到证据收集、假设形成、测试和总结的完整流程，帮助提高事件响应效率和准确性。关键词：事件调查、SRE、生产问题、DevOps、系统方法论、监控指标、日志分析、根因分析。
MiniMaxMCP使用指南Skill minimax-mcp-usage
本技能文档提供了 MiniMax MCP 工具（网络搜索和图像理解）的最佳实践指南，包括查询构建、成本分析、集成模式和故障排除。适用于开发者、研究人员和内容创作者进行高效信息检索和图像分析。关键词：MiniMax MCP, 网络搜索, 图像分析, 开发者工具, 成本优化, 查询构建, 故障排除, 集成指南。
技术债务评估与优化技能Skill tech-debt-portfolio
此技能用于评估和优先排序软件开发中的技术债务项，帮助高级开发人员制定投资计划以减少债务，提高代码质量和维护效率。关键词：技术债务评估、优先级排序、软件开发优化、债务减少、投资计划。
重构路线图Skill refactor-roadmap
该技能用于制定模块的分阶段重构计划，确保代码重构过程安全可控，适用于中级开发者。关键词：重构、路线图、模块、安全重构、分阶段计划、测试覆盖、风险分析、依赖管理。
SlackGIF创建器Skill slack-gif-creator
Slack GIF 创建器是一个工具包，专门用于创建和优化符合Slack平台要求的动画GIF。它提供验证器检查文件大小和尺寸约束，动画原语如抖动、弹跳、旋转等构建块，以及辅助工具如颜色管理和文本渲染。支持消息GIF和表情GIF，优化文件大小和视觉效果，关键词包括Slack GIF、动画制作、文件优化、验证器、动画原语、图像处理。