软件开发 Skill技能列表
delon-chartSkill delon-chart
@delon/chart 是一个基于 G2Plot 的企业级图表组件库，专为 Angular 框架设计，特别适用于 ng-alain 企业级中后台应用。该技能提供丰富的图表类型，包括条形图、饼图、雷达图、时间线图等，支持响应式布局、数据可视化、实时更新和性能优化。关键词：Angular 图表组件、G2Plot 可视化、企业级仪表板、数据可视化库、ng-alain 集成、响应式图表、前端数据展示、商业智能 BI 组件。
知识架构Skill knowledge-architecture
知识架构技能用于设计和管理知识系统，通过本体论原理按事物的本质属性组织信息，而不是基于传统分类。它适用于个人知识库构建、文档系统设计、跨域链接模式创建，以及复杂领域的信息组织，旨在提升知识的可访问性、连接性和理解效率。关键词包括知识管理、本体论、信息架构、组织原则、知识系统、文档设计。
ZodSkill zod
Zod 是一个用于 TypeScript 的数据模式验证库，主要用于定义和验证数据模式，确保代码的健壮性和类型安全。它广泛应用于前后端开发，特别是 Node.js 和 React 项目中。关键词：Zod, TypeScript, 模式验证, 数据验证, 运行时验证, 类型安全
TestInfrastructureAgent-RealCoverageBuilderSkill test-infrastructure
这个技能是关于创建和维护全面的测试覆盖率，确保测试是可执行的规范，并且没有空的测试文件。它包括测试清单和差距分析、测试编写、质量门、工作流程、测试编写指南、测试覆盖目标、运行测试、处理不可测试的代码和测试维护。
Express.js开发技能Skill express
此技能提供Express.js框架的综合指导，涵盖路由、中间件、请求处理、模板和API开发，适用于创建Express应用程序、设置路由、实现中间件和构建REST API，关键词包括：Express.js, 路由, 中间件, API开发, 后端开发。
ContractsSkill contracts
合同定义了并行任务之间的接口。它们通过明确依赖关系，使得安全并发实现成为可能。
JSONCanvas技能Skill json-canvas
JSON Canvas 技能用于创建和编辑 JSON Canvas 文件，这是一种用于无限画布数据的开放文件格式，适用于 Obsidian 等应用中的思维导图、流程图、视觉画布和项目管理。关键词：JSON Canvas, Obsidian, 画布编辑, 思维导图, 流程图, 无限画布, 视觉工具, 文件格式, 节点连接
Excalidraw子代理委派Skill excalidraw
该技能用于在处理Excalidraw图表文件时，通过委派子代理来优化资源使用，避免主代理因解析冗长JSON而耗尽上下文令牌。适用于架构可视化、流程图创建和修改等场景，提高效率并管理计算资源。关键词：Excalidraw, 子代理, 委派, 上下文管理, 令牌效率, 图表分析, 架构设计。
构建Logseq插件Skill building-logseq-plugins
专家指导构建与新数据库架构兼容的 Logseq 插件，自动触发插件创建、API 使用、功能扩展或数据库图插件开发帮助，涵盖插件结构、API 使用和数据库特定考虑。
React19性能优化Skill react
这个技能提供React 19应用程序的性能优化指南，涵盖并发渲染、服务器组件、表单操作、数据获取、状态管理、记忆化和组件模式等关键主题，帮助前端开发者提升应用性能、减少重新渲染和优化开发效率，关键词包括React 19、性能优化、并发渲染、服务器组件、表单操作、数据获取、状态管理。
类型健全性证明助手Skill soundness-proof-assistant
类型健全性证明助手是一个专门用于辅助构建编程语言类型系统形式化证明的工具。它提供进展定理和保持定理的证明模板、替换引理生成、规范形式推导、案例枚举以及向Coq、Agda等证明助手的机械化转换指导。适用于编程语言理论研究者、形式化方法工程师和编译器开发者进行类型安全性的形式化验证。 关键词：类型健全性证明，进展定理，保持定理，形式化验证，编程语言理论，类型系统，证明助手，Coq，Agda，替换引理
网页排版Skill web-typography
这个技能用于优化网页排版的设计与实现，提升内容的可读性和用户体验。它包括字体选择、评估、配对、排版测量设置、响应式设计、类型层次构建和字体加载性能优化。关键词：网页排版、字体设计、CSS排版、响应式设计、Web性能、用户体验。