类型导向名称解析（TDNR）是一种编程语言技术，利用类型信息来解析重载名称、消除标识符歧义并指导名称查找。适用于函数式语言如Haskell、Scala和Rust，涉及类型类、作用域图和解析算法。关键词：类型导向、名称解析、重载、歧义消除、类型系统。

这个技能用于指导用户通过结构化工作流进行协作式文档创作，包括上下文收集、内容精炼和结构优化，以及读者测试。适用于文档、提案、文章等长形式内容的编写，提高协作效率和文档质量。关键词：协作、文档编写、工作流、结构化写作、内容创作。

这个技能提供信息理论中信道容量的问题解决策略，包括互信息计算、信道模型分析、容量最大化方法，以及常见信道如二进制对称信道、二进制擦除信道和AWGN信道的容量公式。适用于数据分析、通信工程和量化金融领域，关键词包括信道容量、信息理论、互信息、Blahut-Arimoto算法、数据分析和量化交易。

多态效应技能专注于效应系统与效应多态的理论和实践，用于在编程中管理副作用如异常处理、并发、状态和日志，适用于函数式编程语言如Haskell和OCaml，涉及类型系统、处理器、代数效应和效应推断。关键词：多态效应、效应系统、effect polymorphism、类型系统、处理器、Haskell、OCaml、代数效应、效应推断、编程语言理论。

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

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

证据与论证评估技能是一种用于系统性地评估知识主张、分析证据质量与相关性、应用领域特定认知标准、识别可靠知识来源以及解构论证逻辑的核心能力。该技能适用于知识验证、论证分析、决策支持、学术研究及批判性思维培养等场景，帮助用户建立严谨的认知框架，有效区分可靠信息与谬误，提升在复杂信息环境中的判断力。 关键词：证据评估，论证分析，认知标准，知识来源，批判性思维，逻辑推理，可靠性验证，怀疑论分析，决策支持，信息甄别

会议洞察分析器是一款基于AI的沟通分析工具，通过解析会议录音和转录文本，自动识别用户在沟通中的行为模式、语言习惯和潜在问题。该工具提供关于冲突回避、发言比例、填充词使用、积极倾听和领导引导等方面的深度洞察与可操作反馈，帮助专业人士提升沟通效率、领导力和团队协作能力。关键词：会议分析，沟通技巧，领导力提升，行为模式识别，AI反馈工具，职场技能，团队协作，绩效评估。

Cirq是一个开源的量子计算框架，用于设计、模拟、优化和执行量子电路，支持多种量子硬件集成、噪声建模和量子实验。关键词：量子计算、Python、量子电路、模拟、硬件集成、噪声建模、量子算法。

Mac清理助手是一款专为macOS系统设计的磁盘空间清理工具，可自动清除系统缓存、清空垃圾箱、删除过期下载文件，帮助用户快速释放存储空间，优化MacBook Pro性能。关键词：macOS清理、磁盘空间释放、系统缓存清理、垃圾箱清空、自动清理工具、Mac优化、存储管理。

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

这个技能用于帮助用户快速起草专业的电子邮件，覆盖商业、技术、客户支持等多种场景。它提供模板、结构指南和语气建议，以提升沟通效率。关键词：电子邮件撰写、专业沟通、邮件模板、商务通信、沟通技巧、邮件礼仪、写作助手。