软件开发 Skill技能列表
代码搜索路由器Skill search-router
搜索工具路由器技能帮助开发者根据代码查询类型选择最令牌高效的搜索工具，包括TLDR搜索用于代码探索、AST-grep用于结构模式、Grep用于字面搜索、Read用于完整理解，优化开发流程，提高代码理解和分析效率。关键词：代码搜索、令牌高效、搜索工具、代码探索、TLDR、AST-grep、Grep、Read。
代码审查工作流Skill review
这个技能用于执行自动化的多视角代码审查，通过并行专家代理评估代码质量、架构对齐和变更风险，提供综合评审结果。关键词：代码审查、代码质量、架构评审、风险评估、软件测试、自动化工作流、DevOps、质量门。
代码库探索CLI工具Skill repoprompt
这是一个用于高效探索代码库、搜索代码、获取代码签名的命令行工具，特别优化 token 使用，适用于代码开发、管理和自动化任务。关键词包括：代码库探索、代码搜索、token 效率、CLI 工具、软件开发、DevOps、AI 辅助。
reference-sdkSkill reference-sdk
该技能用于在软件开发过程中，通过使用btca ask命令检查参考SDK实现，帮助开发者高效实现功能、调试问题、比较多提供商方案，并理解最佳实践。关键词：SDK开发、参考实现、调试工具、btca ask命令、多提供商支持、代码检查、软件开发工具。
历史推理检索Skill recall-reasoning
这个技能用于在软件开发中，通过查询artifact索引和推理文件，快速检索过去的工作决策和方法，帮助识别成功模式并避免重复错误，从而提高开发效率。关键词包括：推理搜索、历史决策、成功模式、失败教训、知识管理、软件开发工具。
紧致性Skill compactness
本技能提供拓扑学中紧致性问题的解决策略和方法，包括决策树、工具命令和关键技巧，帮助用户理解和应用紧致性概念。关键词：拓扑学，紧致性，数学分析，问题解决，算法工具，海涅-博雷尔定理，吉洪诺夫定理。
解析函数分析Skill analytic-functions
这个技能专用于复分析中解析函数的问题解决，包括Cauchy-Riemann方程验证、幂级数展开、解析延拓等关键技术。适用于数学分析、复杂函数理论研究。关键词：解析函数，复分析，Cauchy-Riemann，幂级数，全纯函数，数学技能。
环代数技能Skill rings
此技能提供抽象代数中环的问题解决策略，包括验证环性质、理想和同态等，适用于数学研究和教育。关键词：环、抽象代数、问题解决、代数结构、数学技能、环理论。
群论问题解决技能Skill groups
这个技能提供抽象代数中群的相关问题解决策略，包括群的定义验证、子群测试、同态证明、阶与结构分析等，利用Z3和Sympy等工具进行自动验证和计算。关键词：群论、抽象代数、问题解决、数学技能、Z3、Sympy、自动验证。
RLS模式技能Skill rls-patterns
这个技能用于实施数据库行级安全（RLS）模式，确保多用户环境下的数据隔离和安全访问。通过withUserContext、withAdminContext和withSystemContext等上下文帮助器，规范数据库查询操作，防止数据泄露和越权访问。适用于基于Prisma的后端开发、API设计、webhook处理等场景，提升应用安全性和数据隐私保护。关键词：行级安全、RLS、数据库安全、Prisma、数据隔离、API开发、webhook安全、角色控制。
调试Skill debug
这个技能用于在软件开发和测试过程中调试问题，通过调查日志、数据库状态和git历史来识别和解决错误。关键词包括调试、日志分析、数据库查询、git状态检查、问题诊断、手动测试、软件开发。
死代码检测Skill dead-code
死代码检测技能用于通过静态分析工具 TLDR 查找代码库中的未使用函数和死代码，帮助进行代码清理和重构，提高代码质量。关键词：死代码、未使用函数、静态分析、代码清理、重构。