软件开发 Skill技能列表
reference-sdkSkill reference-sdk
该技能用于在软件开发过程中，通过使用btca ask命令检查参考SDK实现，帮助开发者高效实现功能、调试问题、比较多提供商方案，并理解最佳实践。关键词：SDK开发、参考实现、调试工具、btca ask命令、多提供商支持、代码检查、软件开发工具。
历史推理检索Skill recall-reasoning
这个技能用于在软件开发中，通过查询artifact索引和推理文件，快速检索过去的工作决策和方法，帮助识别成功模式并避免重复错误，从而提高开发效率。关键词包括：推理搜索、历史决策、成功模式、失败教训、知识管理、软件开发工具。
GitHub深度研究Skill github-deep-research
GitHub深度研究技能用于对任何GitHub仓库进行多轮深度分析，结合GitHub API、网络搜索和抓取，生成结构化Markdown报告。报告包括执行摘要、时间线、指标分析和Mermaid图表，适用于项目评估、竞争分析和开源调查。关键词：GitHub, 深度研究, 开源分析, 项目评估, 报告生成, SEO搜索。
紧致性Skill compactness
本技能提供拓扑学中紧致性问题的解决策略和方法，包括决策树、工具命令和关键技巧，帮助用户理解和应用紧致性概念。关键词：拓扑学，紧致性，数学分析，问题解决，算法工具，海涅-博雷尔定理，吉洪诺夫定理。
分析开发专家Skill analytics-developer
这个技能专注于iOS移动应用中的分析系统开发，包括添加分析事件、跟踪用户路由路径、维护代码规范，以支持数据驱动的决策和用户体验优化。关键词：iOS分析、移动开发、事件跟踪、路由管理、代码规范、数据监控、用户行为分析。
解析函数分析Skill analytic-functions
这个技能专用于复分析中解析函数的问题解决，包括Cauchy-Riemann方程验证、幂级数展开、解析延拓等关键技术。适用于数学分析、复杂函数理论研究。关键词：解析函数，复分析，Cauchy-Riemann，幂级数，全纯函数，数学技能。
环代数技能Skill rings
此技能提供抽象代数中环的问题解决策略，包括验证环性质、理想和同态等，适用于数学研究和教育。关键词：环、抽象代数、问题解决、代数结构、数学技能、环理论。
群论问题解决技能Skill groups
这个技能提供抽象代数中群的相关问题解决策略，包括群的定义验证、子群测试、同态证明、阶与结构分析等，利用Z3和Sympy等工具进行自动验证和计算。关键词：群论、抽象代数、问题解决、数学技能、Z3、Sympy、自动验证。
PostgreSQL专家Skill postgres-expert
PostgreSQL专家技能专注于数据库性能优化和管理，包括查询调优、JSONB操作、索引策略、分区、连接池配置和自动化维护。适用于提升PostgreSQL数据库的性能、可靠性和可扩展性。关键词：PostgreSQL优化、数据库性能、查询优化、索引、分区、PgBouncer、autovacuum、复制、数据库管理。
RLS模式技能Skill rls-patterns
这个技能用于实施数据库行级安全（RLS）模式，确保多用户环境下的数据隔离和安全访问。通过withUserContext、withAdminContext和withSystemContext等上下文帮助器，规范数据库查询操作，防止数据泄露和越权访问。适用于基于Prisma的后端开发、API设计、webhook处理等场景，提升应用安全性和数据隐私保护。关键词：行级安全、RLS、数据库安全、Prisma、数据隔离、API开发、webhook安全、角色控制。
调试Skill debug
这个技能用于在软件开发和测试过程中调试问题，通过调查日志、数据库状态和git历史来识别和解决错误。关键词包括调试、日志分析、数据库查询、git状态检查、问题诊断、手动测试、软件开发。
死代码检测Skill dead-code
死代码检测技能用于通过静态分析工具 TLDR 查找代码库中的未使用函数和死代码，帮助进行代码清理和重构，提高代码质量。关键词：死代码、未使用函数、静态分析、代码清理、重构。