形状分析是一种软件工程技术，专注于分析堆数据结构的形状，如链表、树和循环，用于程序验证、内存安全检测和优化。关键词：堆数据结构、形状推理、指针分析、内存验证、TVLA框架、分离逻辑。

PDF处理技能提供全面的PDF文档操作功能，包括文本和表格提取、PDF创建、合并与分割、表单处理等。适用于程序化处理和大规模文档分析，工具涵盖Python库如pypdf、pdfplumber、reportlab以及命令行工具。关键词：PDF处理、文本提取、表格解析、文档自动化、Python编程。

Expo部署技能用于将基于Expo框架开发的移动应用部署到iOS App Store、Android Play Store以及Web平台，包括配置EAS构建、管理OTA更新和实施CI/CD工作流，适用于移动应用开发和发布流程。关键词：Expo、部署、iOS、Android、Web、EAS、OTA更新、CI/CD、移动开发。

测试驱动开发（TDD）是一种软件开发方法，通过红-绿-重构循环，先编写失败的测试用例定义预期行为，再实现最小代码使测试通过，最后重构优化。关键词包括：测试驱动开发、TDD、自动化测试、软件质量、Red-Green-Refactor、单元测试、持续集成。

这个技能用于在处理代码评审反馈时，进行技术验证和理性评估，避免盲目实施或表演性同意，确保代码质量和开发效率。它强调技术严谨性、验证流程和合理反驳，适用于软件开发中的代码审查环节。关键词：代码评审、技术验证、反馈处理、软件开发、测试、代码质量。

这是一个专门为Slack优化的动画GIF创建工具包，提供尺寸验证器、可组合动画原语和辅助工具，帮助用户轻松制作符合Slack技术要求的GIFs，适用于消息和表情符号动画。关键词：Slack, GIF, 动画, 工具包, 验证器, 动画效果, 表情符号。

此技能用于配置Bknd框架的存储后端，专门处理文件上传管理。支持多种存储适配器如S3、Cloudinary、本地文件系统，涵盖环境变量设置、生产部署和故障排除。关键词：存储配置、Bknd、文件上传、后端开发、S3、Cloudinary、存储适配器、环境变量。

这是一个使用btca命令行工具结合OpenCode AI进行代码仓库查询的技能。它允许开发者快速学习和理解bknd项目的内部结构，包括数据模块、认证、媒体处理等关键部分。通过AI辅助，提高代码搜索和理解的效率，适用于开发人员、DevOps工程师和AI应用爱好者。关键词：btca, OpenCode AI, bknd, 代码查询, git仓库, AI辅助开发, DevOps

该技能用于解析和解决代码中的TODO注释，通过并行处理自动化处理待办事项，提高代码维护效率。关键词包括并行处理、待办事项解析、代码维护、DevOps、自动化任务、CLI工具、工作流优化、软件开发辅助。

这个技能涉及使用asciinema工具录制终端操作，并将其转换为GIF或SVG格式，用于GitHub拉取请求或文档中的动画演示。工作流程包括脚本编写、录制、转换、嵌入和验证，旨在创建短小精悍、高质量的终端演示。关键词：终端录制、asciinema、GIF转换、演示制作、开发工具、GitHub PR、自我验证、DevOps工具链。

该技能用于优化Next.js应用的数据获取性能，通过使用React Server Components（RSC）将慢速客户端数据获取转换为快速服务器端数据获取，提高页面加载速度、SEO和用户体验。关键词：RSC、Next.js、数据获取、优化、服务器端渲染、React Server Components、前端开发。

这个技能用于设计和构建现代Web应用程序，包括单页应用（SPA）、服务器端渲染（SSR）、静态站点生成（SSG）和React服务器组件（RSC）等。它涵盖架构权衡、状态管理、性能优化、测试策略、交付流程和团队扩展，提供生产就绪的实践指导，如核心Web指标、可访问性、安全性和微前端架构。关键词：Web应用架构、SPA、SSR、SSG、RSC、前端开发、性能优化、状态管理、测试、团队扩展。