软件开发 Skill技能列表
reference-sdkSkill reference-sdk
该技能用于在软件开发过程中，通过使用btca ask命令检查参考SDK实现，帮助开发者高效实现功能、调试问题、比较多提供商方案，并理解最佳实践。关键词：SDK开发、参考实现、调试工具、btca ask命令、多提供商支持、代码检查、软件开发工具。
历史推理检索Skill recall-reasoning
这个技能用于在软件开发中，通过查询artifact索引和推理文件，快速检索过去的工作决策和方法，帮助识别成功模式并避免重复错误，从而提高开发效率。关键词包括：推理搜索、历史决策、成功模式、失败教训、知识管理、软件开发工具。
系统化调试Skill systematic-debugging
系统化调试是一种用于处理软件bug、测试失败或意外行为的技能，强调在提出修复前必须完成根本原因调查。它通过系统方法确保高效、准确地解决问题，避免随机修复引入新bug，提高首次修复率。关键词：调试、错误修复、根本原因分析、软件测试、系统化方法、bug调查、测试流程。
shadcnUI组件库Skill shadcn-ui
shadcn/ui 是一个前端开发技能，用于快速构建基于 React 的应用用户界面。它提供了一系列预设计的、美观且可访问的 UI 组件，基于 TypeScript、Tailwind CSS 和 Radix UI，支持通过 CLI 工具复制和粘贴组件到项目中，实现高效的 UI 开发和自定义。关键词：前端开发、UI 组件、React、Tailwind CSS、shadcn/ui、Radix UI、TypeScript、可访问性、深色模式、表单验证。
紧致性Skill compactness
本技能提供拓扑学中紧致性问题的解决策略和方法，包括决策树、工具命令和关键技巧，帮助用户理解和应用紧致性概念。关键词：拓扑学，紧致性，数学分析，问题解决，算法工具，海涅-博雷尔定理，吉洪诺夫定理。
解析函数分析Skill analytic-functions
这个技能专用于复分析中解析函数的问题解决，包括Cauchy-Riemann方程验证、幂级数展开、解析延拓等关键技术。适用于数学分析、复杂函数理论研究。关键词：解析函数，复分析，Cauchy-Riemann，幂级数，全纯函数，数学技能。
环代数技能Skill rings
此技能提供抽象代数中环的问题解决策略，包括验证环性质、理想和同态等，适用于数学研究和教育。关键词：环、抽象代数、问题解决、代数结构、数学技能、环理论。
群论问题解决技能Skill groups
这个技能提供抽象代数中群的相关问题解决策略，包括群的定义验证、子群测试、同态证明、阶与结构分析等，利用Z3和Sympy等工具进行自动验证和计算。关键词：群论、抽象代数、问题解决、数学技能、Z3、Sympy、自动验证。
代码审查Skill code-review
代码审查技能用于通过结构化检查表系统化地评估代码质量、安全性和风格，确保正确性、性能和可维护性。它支持PR审查、代码反馈和代码审计，是DevOps和软件开发中的关键实践，提升代码质量和团队协作效率。关键词：代码审查、代码质量、安全性、性能、维护性、PR审查、代码审计、结构化检查表、DevOps、软件工程。
调试Skill debug
这个技能用于在软件开发和测试过程中调试问题，通过调查日志、数据库状态和git历史来识别和解决错误。关键词包括调试、日志分析、数据库查询、git状态检查、问题诊断、手动测试、软件开发。
死代码检测Skill dead-code
死代码检测技能用于通过静态分析工具 TLDR 查找代码库中的未使用函数和死代码，帮助进行代码清理和重构，提高代码质量。关键词：死代码、未使用函数、静态分析、代码清理、重构。
GodotCharacterBody2D专家实现Skill godot-characterbody-2d
此技能提供在Godot引擎中使用CharacterBody2D进行2D角色移动的专家级实现模式，包括平台移动（如coyote时间、跳跃缓冲、可变跳跃高度）、顶部移动（8方向、坦克控制）、碰撞处理、单向平台和状态机等。适用于游戏开发、角色控制和物理模拟。关键词：Godot, CharacterBody2D, 2D游戏开发, 移动控制, 物理引擎, coyote_time, jump_buffer, 平台移动, 碰撞处理。