其他 Skill技能列表
Coq证明助手Skill coq-proof-assistant
Coq证明助手是一个交互式定理证明工具，专门用于形式化验证、程序正确性证明和数学理论的形式化开发。它支持依赖类型，通过战术证明实现交互式证明，适用于软件验证、编译器验证和数学定理证明等领域。关键词：Coq、证明助手、形式化验证、程序正确性、数学证明、依赖类型、战术证明、交互式证明。
控制流分析Skill control-flow-analysis
控制流分析是一种程序静态分析技能，用于通过构建控制流图来理解程序的执行路径、检测循环和分支，支持编译器优化、错误检测和安全分析。关键词：控制流分析，CFG，静态分析，编译器优化，程序理解，可达性分析。
常数传播优化Skill constant-propagation-pass
这个技能实现常数传播优化，通过数据流分析在编译器中传播常数值以优化代码。它适用于编译器构建、程序分析学习和优化技术实现，能够收集和替换常数，提高程序效率。关键词：常数传播、编译器优化、数据流分析、程序优化、静态分析、代码优化。
双向类型检查Skill bidirectional-type-checking
双向类型检查是一种编程语言技术，用于结合类型推断和类型验证来实现高效的类型系统。它通过区分推断模式（从项合成类型）和检查模式（验证项对给定类型），应用于编译器设计、类型检查器和交互式开发环境，提高错误消息质量和类型安全。关键词：双向类型检查，类型推断，类型验证，编程语言，编译器，错误处理，类型系统。
抽象解释引擎Skill abstract-interpretation-engine
这个技能实现抽象解释框架，用于静态程序分析、bug检测和程序验证。它支持多种抽象域，如符号域、区间域，并提供固定点计算和widening操作以确保终止。关键词：抽象解释、静态分析、程序验证、bug检测、抽象域、固定点、widening、程序分析、静态分析器、软件验证。
GitHub问题评论指南Skill github-issues
这个技能用于指导开发者在GitHub平台上撰写有效的问题评论和拉取请求评论，以促进社区互动、提高沟通效率并支持开源协作。关键词包括GitHub、问题评论、拉取请求、社区沟通、开发者协作、开源贡献、沟通技巧、项目管理。
PDF处理Skill PDFProcessing
PDF处理技能用于从PDF文件中提取文本和表格、填充表单、合并和拆分文档等操作，适用于文档自动化和数据提取任务。关键词：PDF处理，文本提取，表格提取，表单填充，PDF合并，Python编程，pdfplumber，pypdf。
列出技能Skill list-skills
此技能用于列出所有已安装的Agent技能，遵循Agent Skills规范。它帮助用户检查可用技能、为特定任务查找技能或验证技能安装状态，便于技能管理和任务分配。关键词：技能管理、Agent技能、列出技能、技能安装、技能查找、SEO优化。
软件库文档检索Skill context7
此技能通过 Context7 API 提供软件库和框架的最新文档检索服务，帮助开发者快速查找 API 文档、代码示例和正确用法，适用于各种编程环境和开发需求。关键词：软件库文档、API 查询、编程帮助、开发工具。
文化指数解读专家技能Skill interpreting-culture-index
文化指数解读专家技能用于解释文化指数（CI）调查、行为特征和个人评估数据，支持个体档案解读、团队组成分析（气/刹/胶）、倦怠检测、档案比较、招聘、管理教练、面试分析等多种功能，帮助企业优化人才管理和团队协作。关键词：文化指数、行为特征、团队分析、职业发展、招聘、管理、面试解读。
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设计、设计系统、用户研究、线框图、组件构建、质量保证、设计一致性、用户体验优化、数字化产品设计、界面设计、交互设计。