软件开发 - SkillsBot AI Skill技能库

任务批处理执行Skill task-batch

这是一个自动化批量任务执行工具，能够持续自主执行任务列表，包括prd解析、自动任务分解和完成验证，直到所有任务完成或发生重大故障。关键词：自主执行、任务分解、质量验证、团队协调。

类型健全性证明助手Skill soundness-proof-assistant

类型健全性证明助手是一个专门用于辅助构建编程语言类型系统形式化证明的工具。它提供进展定理和保持定理的证明模板、替换引理生成、规范形式推导、案例枚举以及向Coq、Agda等证明助手的机械化转换指导。适用于编程语言理论研究者、形式化方法工程师和编译器开发者进行类型安全性的形式化验证。关键词：类型健全性证明，进展定理，保持定理，形式化验证，编程语言理论，类型系统，证明助手，Coq，Agda，替换引理

Gemini探索模式Skill gemini-exploration-patterns

此技能提供使用Gemini CLI大型上下文窗口进行代码库探索的战略指导，包括何时委托探索给Gemini、模型选择、输出格式和成本优化。关键词：代码库探索、大型上下文、Gemini、模型选择、令牌优化、架构分析、开发工具、AI辅助开发。

世界构成技能Skill world-composition

世界构成技能是一种用于游戏开发中大型开放世界场景的流式处理技术。它通过世界分区系统，实现游戏场景的动态加载与卸载，优化内存使用和性能表现，支持无缝的大规模地图探索。关键词：开放世界，流式加载，世界分区，游戏开发，性能优化，动态加载，Unreal Engine，游戏引擎。

智能浏览器代理Skill agent-browser

这个技能用于通过inference.sh平台实现浏览器自动化，专为AI代理设计，支持网页导航、元素交互、数据提取和自动化测试。核心功能包括网页抓取、表单填写、截图录制和JavaScript执行。关键词包括：浏览器自动化、AI代理、网页抓取、表单填写、截图录制、Playwright、自动化测试、数据提取、web自动化、智能代理浏览。

Jest测试生成器Skill jest-generator

这个技能用于自动生成Jest单元测试，适用于JavaScript和TypeScript代码，包括Mocking、覆盖率分析、测试结构组织等。它能提升前端开发中的测试效率，覆盖常见测试场景如React组件测试、异步代码测试和错误处理。关键词：Jest, 测试生成, 单元测试, JavaScript, TypeScript, 覆盖率, Mocking, 前端测试。

设计APIsSkill designing-apis

这份指南提供了REST和GraphQL API设计的详细步骤和规范，包括端点设计、错误处理、版本控制、认证授权、速率限制等关键API设计要素，旨在帮助开发者高效、安全地构建和维护API。

Markdown文档处理器Skill markdown-processor

Markdown文档处理器是一款专业的文档处理工具，专门用于解析、渲染、验证和转换Markdown与MDX格式的技术文档。支持自动生成目录、链接验证、前置元数据处理、图表嵌入（Mermaid/PlantUML）和多种格式转换（HTML/PDF/DOCX等）。适用于技术文档编写、API文档生成、架构设计文档、开发文档管理等场景，提升文档质量和维护效率。关键词：Markdown处理，MDX解析，文档自动化，技术文档，目录生成，链接验证，图表嵌入，文档转换，开发文档工具。