该技能用于更新用户的档案信息，包括偏好、工作领域等，以提供个性化服务。关键词：用户档案更新、偏好管理、工作细节、个性化配置、用户数据。

此技能专注于将Notion模板转化为可持续的数字产品业务，涵盖模板设计、定价策略、销售渠道设置、营销推广和扩展策略，帮助用户通过创建和销售Notion模板实现收入增长。关键词包括Notion模板、数字产品、模板设计、定价策略、营销推广、销售渠道、Gumroad、Notion市场、SEO优化。

这个技能用于创建全面的狗护理计划，特别关注宠物看护交接程序，确保在主人临时缺席时狗的护理连续性。包括喂养时间表、散步例行、梳理清洁、医疗管理、紧急协议等细节，提供清晰文档和清单，方便看护人理解和执行。关键词：狗护理计划、宠物看护交接、狗喂养、紧急协议、宠物看护清单。

这是一个用于在 macOS 上通过命令行界面管理 Things 3 任务的工具。它支持读取本地数据库、添加和更新任务，适用于任务管理、个人效率提升。关键词：Things 3, CLI, 任务管理, macOS, 命令行工具。

这个技能用于在范畴论中处理和验证函子相关问题，提供问题解决策略，利用Lean 4编程语言进行数学证明和编译器验证。它覆盖范畴公理检查、函子性质验证、常见函子类型以及使用Lean 4工具进行高效验证。关键词：范畴论，函子，Lean 4，数学证明，编译器验证，问题解决策略。

这是一个用于日常规划的工作流技能，帮助用户回顾昨日进展、制定今日优先级、并将任务连接到活跃项目，集成AI内容摘要以提升效率。关键词：日常规划、任务管理、生产力工具、工作流自动化、AI摘要、项目连接。

认知设计技能基于认知心理学原理，用于优化视觉界面、数据可视化、教育内容等的设计，以提高用户体验和信息传达效率。关键词：认知设计、数据可视化、用户体验、教育技术、认知心理学。

公理语义学是一种通过逻辑断言和证明规则（如Hoare逻辑）定义程序含义的形式化方法，用于程序正确性验证、证明系统设计、教学形式化验证、指定程序行为和构建验证工具。关键词：公理语义学、Hoare逻辑、程序验证、形式化验证、循环不变式、最弱前置条件、SMT求解器。

碰撞区思维是一种创新方法论，用于在传统方法不足时实现突破性创新。通过强制结合不同领域的无关概念，如将代码组织视为DNA或服务架构视为乐高积木，以发现新解决方案和涌现属性。关键词：创新思维，问题解决，隐喻混合，突破性创新，系统设计，思维工具，SEO优化。

该技能用于自动列出浏览器中所有打开的标签页，提供索引、URL和标题信息，帮助用户高效管理、切换和监控标签页，提升浏览器使用体验。关键词：浏览器、标签页、列表、管理、自动化、SEO优化、网页监控。

该技能用于处理Microsoft Word文档（.docx文件），包括创建新文档、编辑现有内容、分析文档结构、支持追踪更改和评论功能。涉及关键词：DOCX处理、Word文档编辑、XML操作、格式转换、文档分析、SEO优化。