软件开发 - SkillsBot AI Skill技能库

worktree-prSkill worktree-pr

这个技能使用 git 工作树和基于 PR 的合并工作流程以及多代理代码审查来实现隔离的特性开发。

@delon/chart 是一个基于 G2Plot 的企业级图表组件库，专为 Angular 框架设计，特别适用于 ng-alain 企业级中后台应用。该技能提供丰富的图表类型，包括条形图、饼图、雷达图、时间线图等，支持响应式布局、数据可视化、实时更新和性能优化。关键词：Angular 图表组件、G2Plot 可视化、企业级仪表板、数据可视化库、ng-alain 集成、响应式图表、前端数据展示、商业智能 BI 组件。

ReactuseState懒初始化Skill rerender-lazy-state

此技能涉及在React前端开发中使用useState函数的懒初始化技术，以避免在每次渲染时重复计算昂贵的初始值，提高应用性能。适用于构建搜索索引、解析JSON或复杂计算等场景。关键词：React, useState, 懒初始化, 性能优化, 前端开发

ZodSkill zod

Zod 是一个用于 TypeScript 的数据模式验证库，主要用于定义和验证数据模式，确保代码的健壮性和类型安全。它广泛应用于前后端开发，特别是 Node.js 和 React 项目中。关键词：Zod, TypeScript, 模式验证, 数据验证, 运行时验证, 类型安全

生成终端Skill spawn-terminal

这是一个用于生成新终端窗口以执行命令行界面（CLI）工具的技能。它主要用于运行如ffmpeg、curl、python、npm等非AI的命令行程序，支持输出捕获和日志记录。关键词：终端生成，CLI命令执行，命令行工具，非AI任务，自动化脚本，开发辅助工具。

ElectronEGG桌面应用开发框架Skill electron-egg

此技能提供 Electron EGG 框架的全面指导，用于开发跨平台桌面应用程序。它基于 Electron 和 Egg.js，涵盖项目结构、主/渲染器进程、IPC 通信、窗口管理等功能，帮助开发者快速构建和部署桌面应用。关键词：Electron EGG, Electron, Egg.js, 桌面应用, IPC, 进程通信, 窗口管理。

ObsidianBases技能Skill obsidian-bases

Obsidian Bases 技能是一种用于创建和编辑 Obsidian 基础文件（.base 文件）的能力，支持配置视图、过滤器、公式和摘要，实现笔记的动态管理和数据可视化，适用于个人知识管理和低代码应用开发。关键词：Obsidian、Bases、笔记管理、数据视图、YAML配置、低代码开发、知识组织。

网页排版Skill web-typography

这个技能用于优化网页排版的设计与实现，提升内容的可读性和用户体验。它包括字体选择、评估、配对、排版测量设置、响应式设计、类型层次构建和字体加载性能优化。关键词：网页排版、字体设计、CSS排版、响应式设计、Web性能、用户体验。

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

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

智能浏览器代理Skill agent-browser

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