无 Skill技能列表
Things3CLI工具Skill things-mac
这是一个用于在 macOS 上通过命令行界面管理 Things 3 任务的工具。它支持读取本地数据库、添加和更新任务，适用于任务管理、个人效率提升。关键词：Things 3, CLI, 任务管理, macOS, 命令行工具。
公理语义学Skill axiomatic-semantics
公理语义学是一种通过逻辑断言和证明规则（如Hoare逻辑）定义程序含义的形式化方法，用于程序正确性验证、证明系统设计、教学形式化验证、指定程序行为和构建验证工具。关键词：公理语义学、Hoare逻辑、程序验证、形式化验证、循环不变式、最弱前置条件、SMT求解器。
ObsidianMarkdown编辑器技能Skill obsidian-markdown
这个技能用于创建和编辑 Obsidian 风格的 Markdown 文档，支持内部链接（wikilinks）、标注（callouts）、属性（properties）等 Obsidian 特有语法，适用于笔记管理、知识库构建和文档编写。关键词：Obsidian, Markdown, 笔记, 编辑, 语法, 知识管理, 文档编写
认知设计Skill cognitive-design
认知设计技能基于认知心理学原理，用于优化视觉界面、数据可视化、教育内容等的设计，以提高用户体验和信息传达效率。关键词：认知设计、数据可视化、用户体验、教育技术、认知心理学。
范畴函子技能Skill categories-functors
这个技能用于在范畴论中处理和验证函子相关问题，提供问题解决策略，利用Lean 4编程语言进行数学证明和编译器验证。它覆盖范畴公理检查、函子性质验证、常见函子类型以及使用Lean 4工具进行高效验证。关键词：范畴论，函子，Lean 4，数学证明，编译器验证，问题解决策略。
碰撞区思维Skill Collision-ZoneThinking
碰撞区思维是一种创新方法论，用于在传统方法不足时实现突破性创新。通过强制结合不同领域的无关概念，如将代码组织视为DNA或服务架构视为乐高积木，以发现新解决方案和涌现属性。关键词：创新思维，问题解决，隐喻混合，突破性创新，系统设计，思维工具，SEO优化。
DOCX文档处理技能Skill docx
该技能用于处理Microsoft Word文档（.docx文件），包括创建新文档、编辑现有内容、分析文档结构、支持追踪更改和评论功能。涉及关键词：DOCX处理、Word文档编辑、XML操作、格式转换、文档分析、SEO优化。
梗图工厂Skill meme-factory
梗图工厂是一个用于通过memegen.link API生成自定义梗图的技能，适用于增加内容幽默感、社交媒体发布、代码审查等场景。支持多种模板和文本格式化，方便快速创建视觉内容。关键词：梗图生成、API集成、幽默内容、社交媒体工具、内容创作。
每日规划启动器Skill start-my-day
这是一个用于日常规划的工作流技能，帮助用户回顾昨日进展、制定今日优先级、并将任务连接到活跃项目，集成AI内容摘要以提升效率。关键词：日常规划、任务管理、生产力工具、工作流自动化、AI摘要、项目连接。
浏览器标签页列表Skill browser-list-tabs
该技能用于自动列出浏览器中所有打开的标签页，提供索引、URL和标题信息，帮助用户高效管理、切换和监控标签页，提升浏览器使用体验。关键词：浏览器、标签页、列表、管理、自动化、SEO优化、网页监控。
Notion模板业务专家Skill notion-template-business
此技能专注于将Notion模板转化为可持续的数字产品业务，涵盖模板设计、定价策略、销售渠道设置、营销推广和扩展策略，帮助用户通过创建和销售Notion模板实现收入增长。关键词包括Notion模板、数字产品、模板设计、定价策略、营销推广、销售渠道、Gumroad、Notion市场、SEO优化。