其他 Skill技能列表
ObsidianMarkdown技能Skill obsidian-markdown
这个技能使代理能够创建和编辑 Obsidian 风味 Markdown，支持所有 Obsidian 特定语法如 wikilinks、callouts、properties 等，适用于处理 .md 文件和 Obsidian 笔记，关键词包括 Obsidian、Markdown、编辑、创建、语法扩展、wikilinks、callouts、properties、SEO。
AIOSUX/UI设计与设计系统架构专家Skill aios-ux-design-expert
这是一个专注于UX/UI设计和设计系统架构的技能，涵盖完整的设计工作流程，包括用户研究、线框图绘制、设计系统构建、设计令牌提取、组件开发和质量管理。适用于提升产品用户体验和设计一致性，优化数字化产品界面和交互设计。关键词：UX/UI设计、设计系统、用户研究、线框图、组件构建、质量保证、设计一致性、用户体验优化、数字化产品设计、界面设计、交互设计。
AIOS全栈开发工具Skill aios-dev
此技能专注于全栈开发，用于代码实现、调试、重构和遵循开发最佳实践，提高开发效率和质量。关键词：全栈开发、代码调试、重构工具、开发最佳实践、AIOS、代码实现。
Nia文档搜索Skill nia-docs
这个技能使用Nia工具在多种编程语言包和索引源中搜索文档和代码示例，支持语义搜索、正则表达式搜索和通用搜索，帮助开发者和研究人员快速找到相关资源和示例代码。关键词：文档搜索、代码示例、语义搜索、grep搜索、Nia、软件包搜索、开发工具。
连通性Skill connectedness
这个技能专注于拓扑学中的连通性问题解决，提供多种策略如矛盾法、路径连通性和扇引理，用于证明集合的连通性。适用于数学研究、教育及拓扑学相关应用。关键词：拓扑学、连通性、路径连通性、证明策略、数学问题解决。
紧致性Skill compactness
本技能提供拓扑学中紧致性问题的解决策略和方法，包括决策树、工具命令和关键技巧，帮助用户理解和应用紧致性概念。关键词：拓扑学，紧致性，数学分析，问题解决，算法工具，海涅-博雷尔定理，吉洪诺夫定理。
一阶常微分方程求解技能Skill first-order-odes
此技能提供一阶常微分方程的问题解决策略，包括分类、解析求解和数值计算，适用于数学建模、科学计算和工程应用。关键词：一阶常微分方程、ODE求解、符号计算、数值解、数学问题解决、科学计算。
积分理论Skill integration-theory
这个技能提供测度论中积分理论的问题解决策略，包括简单函数积分、单调收敛定理、控制收敛定理、Fatou引理和Fubini-Tonelli定理。适用于数学学习、数据分析、量化金融等领域，关键词：积分理论，测度论，数学问题解决，SEO优化。
向量空间问题解决Skill vector-spaces
这个技能提供了线性代数中向量空间相关问题的解决策略，包括子空间检查、线性独立性、基底和维度、基变换等。使用Sympy和Z3工具进行数学计算和证明，适用于学术研究、教育辅助和数学建模。关键词：线性代数，向量空间，子空间，线性独立，基底，维度，基变换，Sympy，Z3，数学工具。
特征值问题解决技能Skill eigenvalues
此技能专注于线性代数中特征值的问题解决，包括计算特征多项式、查找特征值和特征向量，并进行验证，适用于数学分析、数据科学和工程应用。关键词：特征值、线性代数、问题解决、计算、验证。
信道容量Skill channel-capacity
这个技能提供信息理论中信道容量的问题解决策略，包括互信息计算、信道模型分析、容量最大化方法，以及常见信道如二进制对称信道、二进制擦除信道和AWGN信道的容量公式。适用于数据分析、通信工程和量化金融领域，关键词包括信道容量、信息理论、互信息、Blahut-Arimoto算法、数据分析和量化交易。
算子理论Skill operator-theory
此技能用于解决功能分析中算子理论的问题，提供有界算子验证、伴随算子计算、谱理论分析、紧算子识别和谱定理应用等策略，支持工具命令执行。关键词：算子理论，功能分析，数学分析，谱理论，问题解决，工具集成。