这个技能专注于数学逻辑中的谓词逻辑问题解决，提供量词分析、前束范式转换、斯科伦化、消解证明和模型理论等策略。适用于逻辑推理、证明验证和形式化方法。关键词：谓词逻辑，数学逻辑，问题解决，Z3求解器，逻辑证明，形式验证。

本技能提供信息论中熵相关问题的解决策略，包括香农熵、联合熵、条件熵等的计算和应用。适用于数据分析、量化金融和人工智能领域。关键词：熵、信息论、数据分析、量化策略、机器学习。

这个技能专注于使用Python库如pandas和openpyxl进行Excel文件的创建、编辑、数据分析和可视化，特别适用于金融建模和数据处理，支持公式计算、错误检查和重新计算，便于动态数据管理和更新。关键词：Excel数据处理，财务建模，数据可视化，公式计算，Python数据分析

此技能提供Linear票务管理的标准操作流程，包括问题创建、状态更新、证据附加等最佳实践，以及开发、暂存和完成阶段的证据模板，便于团队协作和项目管理。关键词：Linear, 票务管理, SOP, 证据模板, 验收标准, 项目管理, 工具集成

规范驱动开发是一种用于精确规划和实施软件项目的项目管理方法。它通过指定、设计、任务分解和实施验证四个阶段，创建原子化任务并提供清晰的验证标准。支持跨会话持久记忆，便于跟踪决策和障碍。适用于新项目初始化、现有代码库映射、功能规划、实施验证等场景，是栈无关的通用框架。关键词：软件开发、项目管理、规范驱动、任务分解、敏捷方法论、持久记忆、代码分析、跨会话跟踪。

这个技能是一个命令行工具，用于查询和显示所有分配给当前用户的ClickUp任务。它通过ClickUp MCP工具实现，可以按状态分组展示任务详情，并提供任务统计功能。适用于任务管理和自动化工作流。关键词：ClickUp, 任务管理, 任务查询, 命令行, 自动化。

SymPy符号计算引擎是基于Python的数学分析工具，提供符号微分、积分、方程求解、级数展开、矩阵运算等核心功能。适用于数学建模、科学计算、工程分析、量化金融建模、算法开发等场景。关键词：符号计算、数学分析、Python数学库、SymPy教程、微分方程求解、线性代数、科学计算、量化建模、算法开发

决策行动技能是一种用于在多个选项中做出明确选择、进行优先级排序或执行/不执行决策的框架。它通过定义决策、列举选项、使用标准比较、给出建议并分析风险，帮助用户进行结构化决策。关键词：决策制定，选项分析，优先级排序，风险评估，权衡分析，结构化决策框架。

这个技能提供结构化工作流，用于在Linear平台管理问题、项目和团队协作，通过Linear MCP服务器实现自然语言项目管理。关键词：Linear项目管理、问题跟踪、团队协作、MCP集成、自然语言接口、代码x工具。

此技能是一个智能路由工具，用于战略性地管理孤儿文件和分散任务。它基于当前战略上下文（如周优先级和季度目标），自动建议文件和任务应归属的项目、人员或资源文件夹，从而提高工作效率和项目管理。关键词：文件管理、任务路由、战略上下文、优先级排序、自动化清理、项目管理工具。

这个技能用于通过CodexBar CLI获取AI模型（如Codex或Claude）的使用成本数据，提供按模型的成本总结，支持当前模型或所有模型的摘要。包括数据获取、脚本化处理和JSON输出，方便进行成本监控和数据分析。关键词：CodexBar CLI, AI模型成本, 成本总结, 数据分析, 脚本化处理。

婚礼预算付款节点跟踪技能用于协助用户制定详细的婚礼预算付款计划，跟踪核心服务如场地、餐饮、摄影的支付节点，确保在30万预算内合理分配资金，避免超支和逾期风险。适用于婚礼策划、预算管理和项目管理场景。关键词：婚礼预算、付款跟踪、预算管理、财务管理、项目管理。