软件开发 Skill技能列表
紧致性Skill compactness
本技能提供拓扑学中紧致性问题的解决策略和方法，包括决策树、工具命令和关键技巧，帮助用户理解和应用紧致性概念。关键词：拓扑学，紧致性，数学分析，问题解决，算法工具，海涅-博雷尔定理，吉洪诺夫定理。
智能补丁器Skill diff-applier
智能补丁器是一个工具，用于安全地应用代码差异补丁，自动执行代码检查以发现错误，并更新代码库索引，提高开发效率和代码质量。关键词：代码补丁、代码检查、自动索引、DevOps工具、软件开发、代码维护。
解析函数分析Skill analytic-functions
这个技能专用于复分析中解析函数的问题解决，包括Cauchy-Riemann方程验证、幂级数展开、解析延拓等关键技术。适用于数学分析、复杂函数理论研究。关键词：解析函数，复分析，Cauchy-Riemann，幂级数，全纯函数，数学技能。
环代数技能Skill rings
此技能提供抽象代数中环的问题解决策略，包括验证环性质、理想和同态等，适用于数学研究和教育。关键词：环、抽象代数、问题解决、代数结构、数学技能、环理论。
群论问题解决技能Skill groups
这个技能提供抽象代数中群的相关问题解决策略，包括群的定义验证、子群测试、同态证明、阶与结构分析等，利用Z3和Sympy等工具进行自动验证和计算。关键词：群论、抽象代数、问题解决、数学技能、Z3、Sympy、自动验证。
技术计划实施技能Skill implement_plan
这个技能用于自动化或辅助实施技术计划，提供直接实施和代理编排两种执行模式，适用于软件开发中的计划执行和验证。它包括深度风险预检查、自动化验证、手动测试暂停，并支持大型项目通过代理编排避免上下文压缩问题，确保计划顺利实施。关键词：技术计划实施、软件开发流程、代理编排、风险管理、代码验证、项目执行、DevOps、自动化部署。
优雅降级与有用消息模式Skill graceful-degradation
本技能介绍如何在服务不可用时实现优雅降级，通过检查可用性、缓存结果和提供操作指南，确保系统在部分功能缺失时仍能正常运行。适用于软件开发中的错误处理和用户体验优化，关键词：优雅降级、服务可用性、缓存、备用消息、错误处理。
调试Skill debug
这个技能用于在软件开发和测试过程中调试问题，通过调查日志、数据库状态和git历史来识别和解决错误。关键词包括调试、日志分析、数据库查询、git状态检查、问题诊断、手动测试、软件开发。
死代码检测Skill dead-code
死代码检测技能用于通过静态分析工具 TLDR 查找代码库中的未使用函数和死代码，帮助进行代码清理和重构，提高代码质量。关键词：死代码、未使用函数、静态分析、代码清理、重构。
端到端测试完整技能Skill complete-skill
这是一个用于端到端测试的完整技能，专门用于测试整个持久化流水线，支持使用Bash脚本、读取和写入工具进行全流程验证。关键词：端到端测试、持久化流水线、测试技能、Bash脚本、软件开发测试。
GitHubPR评论自动处理技能Skill dyad:pr-fix:comments
这个技能用于自动化处理GitHub拉取请求中的代码审查评论。它从受信任的作者处读取未解决的评论，根据产品原则进行分类，并执行相应操作，如修复代码、回复解释或标记需人工审查，以提升代码审查效率和一致性。关键词包括GitHub PR、代码审查、自动化、AI辅助、DevOps、工具开发。
代码质量预检查Skill dyad:lint
这个技能用于在代码提交前运行自动化检查，包括代码格式化、代码风格检查和类型检查，自动或手动修复问题，确保代码质量和一致性。关键词：预提交检查、代码格式化、代码检查、类型检查、自动化修复、代码质量保证。