软件开发 Skill技能列表
写作技能Skill writing-skills
这个技能应用测试驱动开发于过程文档，用于创建、编辑和验证技能文档，确保在部署前工作正常。关键词：测试驱动开发、技能创建、文档验证、质量保证、TDD、写作、技能编写。
综合搬迁计划：预算稳定与应急管理Skill "comprehensive-relocation-plan-with-budget-stability-and-contingency"
这个技能用于创建详细的跨城市搬迁计划，重点考虑预算控制、选择可靠服务提供商以及应对服务中断的应急措施。它提供结构化的每周步骤，涵盖找房、选搬家公司、转移水电煤气等公用事业和更新地址。关键词：搬迁规划、跨城市搬家、预算管理、风险管理、应急准备、服务提供商选择。
PDF文档处理技能Skill pdf
此技能专注于使用Python库（如pypdf、pdfplumber、reportlab）和命令行工具处理PDF文档，实现文本提取、表格提取、合并、拆分、创建、加密、水印添加和OCR扫描等功能。适用于自动化文档处理、数据提取、报告生成等场景，提高工作效率。关键词：PDF处理，Python编程，文档自动化，表格提取，OCR技术，PDF合并拆分，加密保护。
质量门禁Skill quality-gates
质量门禁是一个用于软件开发流程的检查点框架和验证规则系统。它定义了在开发的不同阶段（实施前、实施中、测试后、评审前）必须通过的强制性检查点，以确保代码质量、安全性、类型安全和测试覆盖率。该技能通过自动化验证、强制遵循最佳实践（如TypeScript严格模式、Zod输入验证、AAA测试模式）和集成多个专业验证器（如安全审计、类型检查、模式合规），为智能体开发提供了一套标准化的质量保障流程。关键词：质量门禁，检查点框架，代码质量，TypeScript验证，安全审计，测试覆盖率，Zod验证，TDD，软件开发流程，自动化验证。
ShadCN-Framer动画组件库Skill shadcn-framer
本技能是关于如何将 ShadCN UI 组件库与 Framer Motion 动画库结合使用的技术指南。它提供了从初始化设置、基础组件使用到实现复杂动画效果（如淡入淡出、列表动画、页面过渡、悬停交互和加载动画）的完整代码示例。适用于希望为 React 应用（特别是 Next.js）添加流畅、现代化交互动效的前端开发者，关键词包括：ShadCN UI, Framer Motion, React 动画, 交互动效, Next.js 组件, 前端开发。
Effect-TS可观测性模式Skill effect-patterns-observability
这个技能提供了Effect-TS中可观测性的13个精选模式，包括日志记录、指标监控、追踪等，帮助开发者在TypeScript应用程序中实现高效的可观测性、调试和监控。关键词：Effect-TS、可观测性、日志、指标、追踪、TypeScript、后端开发、调试、监控、模式。
Prettier配置Skill prettier-configuration
Prettier配置技能提供了关于Prettier代码格式化工具的全面配置指南，包括选项设置、配置文件、忽略模式和格式化规则，适用于JavaScript开发，帮助提升代码质量和团队协作效率。关键词：Prettier、代码格式化、JavaScript、配置、开发工具、前端开发、SEO优化。
Markdown表格Skill markdown-tables
这个技能是关于在Markdown中创建和格式化表格的，包括基本语法、对齐方式、转义字符、多行单元格等高级功能，适用于技术文档编写、网页内容格式化，关键词包括Markdown、表格、格式化、语法、文档编写、前端开发。
设计向导Skill design-wizard
这是一个交互式设计向导，用于指导用户完成完整的前端设计流程，包括发现需求、研究趋势、选择美学方向、配色、排版和生成代码，最终创建独特且生产就绪的UI。关键词：前端设计、交互式向导、UI设计、代码生成、设计流程、美学选择、颜色排版、自审查。
API模式技能Skill api-patterns
API模式技能是一个用于实现安全、验证的API路由的开发模式集合，包括RLS上下文管理、Zod验证和结构化错误处理。关键词：API开发、后端开发、安全验证、错误处理、RLS、Zod。
DOCX文档创建、编辑与分析技能Skill docx
这是一个用于 DOCX 文档的创建、编辑和分析的技能，支持追踪更改、评论、格式保留和文本提取。适用于专业文档处理任务，如合同、报告和学术论文。关键词：DOCX, Word 文档, 文档处理, 创建, 编辑, 分析, 追踪更改, 评论, 格式保留, 文本提取, SEO 优化。
简单类型化λ演算Skill simply-typed-lambda-calculus
这个技能用于实现简单类型化λ演算（STLC），包括函数类型、积类型、和类型和单位类型。它适用于学习类型系统、构建编程语言解释器、进行形式化验证和语言原型设计。关键词：类型系统、λ演算、解释器、形式化验证、编程语言理论、健全性证明。