这个技能用于自动化管理和操作 Obsidian 知识库文件，包括读取、写入、编辑 Markdown 笔记，处理 YAML 前言和维基链接，提高个人知识管理效率。适用于笔记创建、文件维护和链接自动化。关键词：Obsidian、知识库操作、Markdown、YAML、维基链接、文件管理、自动化笔记。

此技能用于在 Obsidian 笔记应用中创建和编辑 .base 文件，实现数据库-like视图、过滤器、公式和摘要功能，方便用户管理笔记、构建任务跟踪器、阅读列表、项目仪表板等。关键词：Obsidian, Bases, 数据库视图, 过滤器, 公式, YAML, 笔记管理, 动态视图。

该技能提供与交互式定理证明器（如Coq、Isabelle、Lean）交互的专家指导，专注于形式化验证、机械化证明和代码提取。关键词：形式化验证，定理证明器，Coq，Isabelle，Lean，机械化证明，证明自动化，代码提取。

此技能用于帮助用户生成和格式化各种技术文档，包括API文档、用户手册、开发指南、README等。它提供文档构建的全面指导，涵盖生成、结构设计、最佳实践和SEO优化。关键词：文档编写、技术文档、API文档、用户手册、开发指南、SEO搜索。

Cirq量子电路构建器是一个基于Google Cirq框架的专业技能，专注于量子计算领域的电路设计与硬件执行。该技能提供完整的量子电路构建、设备感知编译、噪声模拟、硬件校准和序列化功能，特别针对Google Sycamore等量子处理器进行优化。核心功能包括量子门操作设计、拓扑约束编译、虚拟/XEB/Floquet校准集成、真实噪声环境模拟以及跨平台电路导出。适用于量子算法开发、硬件验证、教育研究和工业应用场景，帮助开发者在NISQ时代量子设备上实现可靠的量子计算任务。 关键词：量子计算，Google Cirq，量子电路设计，量子处理器，Sycamore，噪声模拟，硬件校准，量子编程，量子算法，量子编译

这个技能用于管理 Rust 项目中 Cargo.toml 文件的依赖项。它包括添加、更新、移除依赖项，组织依赖项到公共和私有部分，配置版本和默认功能，并在工作区中统一管理依赖。关键词：Cargo, 依赖管理, Rust, workspace, Cargo.toml, 依赖项。

反转练习是一种批判性思维技能，通过翻转核心假设来揭示隐藏约束和替代方法，帮助在软件开发、产品管理等场景中跳出传统思维，优化解决方案。关键词：反转假设、隐藏约束、替代方法、批判性思维、问题解决、SEO优化。

该技能用于生成每周求职活动回顾模板，帮助用户跟踪关键指标如申请数量、回复率，捕获经验教训，并规划下周任务，通过诊断阈值优化求职策略。关键词：求职、周度回顾、模板、指标跟踪、经验学习、行动计划。

此技能用于管理和查询以太坊地址，包括地址验证、转账跟踪和智能合约交互，适用于区块链开发与Web3应用，关键词：以太坊地址、区块链、地址管理、智能合约、Web3、DApp。

这个技能是一个用于创建和优化Slack平台动画GIF的工具包，提供验证器确保符合Slack尺寸限制，动画原语用于构建各种动画效果，以及帮助工具简化开发过程。关键词：Slack, GIF, 动画, 创建, 工具包, 验证, 优化

书籍构思技能是一个专为非小说类书籍写作设计的工具，旨在帮助作者将原始想法转化为结构化的概念文档。它通过引导式多会话开发，聚焦于八个关键元素：读者分析、转化目标、核心论点、作者角度、赌注、关键概念、敌人和承诺。适用于写作、内容创作、出版和创意开发领域，关键词包括：非小说书籍、概念开发、读者研究、内容结构、写作技巧、创意提炼、书籍策划。

藏品档案管理技能专为博物馆、美术馆、档案馆等文化机构设计，提供专业的藏品数字化建档解决方案。核心功能包括藏品系统编目、标准化摄影、状况评估记录和数据库管理，严格遵循AAM/ICOM国际标准。适用于文物数字化保护、藏品信息管理、文化遗产数据库建设等场景，提升藏品管理的专业性和效率。