技能导航器是一个智能工具，用于管理和推荐其他技能。它能根据用户任务需求，自动识别并推荐最佳技能、创建技能组合优化工作流，并帮助发现隐藏能力。关键词：技能推荐、工作流优化、AI助手、能力发现、智能导航。

策展研究技能专注于为博物馆、美术馆等艺术机构提供专业的艺术史研究、艺术品来源调查和学术分析服务。通过运用图像学、形式分析等方法，结合一手档案和二手文献，该技能旨在为艺术展览策划、藏品征集和学术出版物提供坚实的学术支撑和决策依据。关键词：策展研究，艺术史分析，艺术品来源调查，博物馆研究，展览策划，学术分析，档案研究，艺术品真伪鉴定。

此技能用于通过Codex CLI执行代码分析、重构和自动化编辑任务，利用GPT-5.2等AI模型提升软件工程效率。关键词：Codex CLI、代码分析、自动化编辑、GPT-5.2、软件工程、AI辅助编程、命令行工具。

这个技能提供了oh-my-claudecode插件的详细使用指南，帮助用户无需学习命令即可自动增强Claude Code功能。它包括自动行为、魔法关键词、停止命令、首次设置和使用分析。通过数据分析，用户可以优化工作流程，识别未充分利用的功能，并获得个性化推荐。关键词：oh-my-claudecode, Claude Code插件, 智能代理, 使用分析, 工作流优化, 自动化编程。

反例生成器是一款自动化数学工具，专门用于搜索和发现数学猜想、定理或命题的反例。它通过智能采样、边界测试、SMT求解和有限模型查找等技术，帮助数学研究者、计算机科学家和学生验证猜想、调试证明。核心功能包括随机测试、约束求解和快速性质检查，适用于定理证明、形式验证和数学研究领域。关键词：反例搜索、数学猜想验证、定理证明、SMT求解、Quickcheck、自动化测试、形式验证、数学工具。

数论工具包是一个专为算法竞赛和编程设计的技能，提供核心数论算法的代码实现和原理指导。主要功能包括模运算、扩展欧几里得算法、中国剩余定理、快速傅里叶变换/数论变换等，支持C++、Python、Java等多种编程语言。适用于需要高效数学计算和算法优化的场景，如在线评测系统、编程竞赛和学术研究。关键词：数论算法、模运算、中国剩余定理、FFT/NTT、竞赛编程、算法实现、数学计算、编程竞赛工具。

这个技能用于辅助用户进行每周回顾和计划制定，通过创建回顾笔记、分析过去一周成就与挑战、对齐月度目标、规划下周任务，提升个人生产力和目标管理效率。关键词：每周回顾、目标对齐、计划制定、生产力工具、时间管理。

自媒体写作助手，提供从选题、大纲、正文、标题到排版的完整写作流程指导与质量检查。适用于内容创作者、自媒体运营者，帮助提升文章质量与传播效果。关键词：自媒体写作、内容创作、写作流程、质量检查、SEO优化、排版规范。

IDAES是一个开源软件框架，用于过程系统工程，专门用于建模、模拟和优化化学过程与能源系统。它支持流程表开发、属性包配置、单元模型设计、优化求解、缩放处理、初始化策略和模型诊断，适用于化工模拟、能源系统分析、发电厂设计、物料能量平衡和过程优化。关键词：IDAES、过程模拟、能源系统、优化、Python、开源软件、化工工程、流程表建模。

线性规划建模器是一个用于制定和解决线性规划模型的数学编程技能。它专注于资源分配优化、生产计划排程、产能决策支持，通过识别决策变量、构建目标函数、建模约束条件，并进行模型验证与敏感性分析，帮助企业实现成本最小化或利润最大化。适用于运筹学、工业工程、供应链管理、金融优化等领域。关键词：线性规划，运筹学，资源优化，生产计划，产能规划，数学模型，敏感性分析，影子价格。

这是一个专为CEO、创始人及高管设计的个人反思与成长系统。它整合了比尔·坎贝尔、吉姆·柯林斯等顶尖思想家的11个经典管理框架和11套教练式访谈脚本，通过结构化回顾（日/周/季/年）帮助领导者进行深度反思、目标设定、时间管理、失败模式识别和领导力提升。核心是构建一个远离内卷文化、专注于清晰度与持久性发展的私人操作系统。关键词：CEO个人操作系统，高管反思系统，领导力发展，目标设定，时间管理，创业失败模式，第五级领导力，教练式访谈，年度回顾，人生规划。

这个技能允许用户搜索和下载安娜存档中的电子书，支持PDF、EPUB、MOBI等多种格式，需要会员密钥。适用于书籍内容查找、电子书下载和参考材料获取，方便SEO搜索的关键词包括电子书下载、书籍查找、安娜存档、PDF下载、电子书搜索、会员密钥设置。