此技能用于在项目开始前，通过协作对话探索用户意图、需求和设计，确保充分理解后再进行实施。适用于软件开发、产品管理、需求分析等领域，关键词包括头脑风暴、设计思维、项目管理、需求收集、原型设计、SEO优化。

PyDESeq2是一个用于批量RNA-seq数据差异基因表达分析的Python工具，基于DESeq2算法。它提供完整的分析工作流，包括数据加载、统计测试、FDR校正和可视化，适用于生物信息学研究和基因表达数据分析。关键词：差分基因表达分析，RNA-seq，DESeq2，Python，生物信息学，基因表达，数据分析。

这个技能是产品管理中的关键沟通能力，专门用于高效地与各类利益相关者进行信息交流。它提供模板和框架，支持产品经理生成状态报告、管理风险、文档化决策和促进会议，确保清晰有效的沟通。关键词包括：利益相关者管理、产品沟通、状态更新、风险报告、决策记录、会议协调、项目管理通信。

pycalphad是一个Python库，用于实现CALPHAD方法，计算多组分材料系统的相图、相平衡和热力学性质，适用于材料科学和冶金学研究。关键词：计算热力学、相图分析、材料科学、Python编程、热力学数据库。

这个技能用于标记计划的完成状态，生成执行摘要报告，包括成功和失败统计，以及总耗时。适用于项目管理、系统操作等场景。关键词：计划完成、报告生成、执行统计、项目管理。

本技能专为解决Walter Rudin《实分析与复分析》教科书中的高级数学问题设计，涵盖测度论、勒贝格积分、Lp空间、泛函分析和复分析等核心主题。通过决策树、工具命令和关键定理参考，支持数学学习、问题解决和学术研究，关键词包括实分析、复分析、测度论、数学积分、泛函分析、解析函数。

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

项目状态报告生成器是一款AI工具，能够将原始、零散的项目数据（如进度、预算、风险）自动整理并生成为结构清晰、专业、面向不同受众（如董事会、投资者、客户、内部管理层）的标准化报告。它简化了项目管理中的沟通工作，提升报告效率与专业性。关键词：项目管理，自动报告生成，利益相关方沟通，项目状态更新，风险跟踪，预算分析，里程碑管理，AI办公自动化。

竞争研究技能用于分析和评估市场竞争环境，识别市场机会和威胁，为产品战略、定位和决策提供数据支持。它涉及研究竞争对手产品、功能、定价和市场趋势，帮助制定差异化策略和优化产品开发。关键词：竞争分析、市场研究、产品定位、竞品分析、市场情报、商业战略、竞争优势、市场空白、定价策略、市场趋势。

决策时刻技能是一种营销与增长框架工具，用于系统化设计客户旅程。它通过映射用户在认知、考虑、转化、留存四个关键阶段的决策时刻，精准匹配所需内容与资产（如文章、视频、案例、落地页），以优化营销漏斗、提升转化率并增强客户留存。核心关键词包括：决策时刻映射、客户旅程优化、营销漏斗设计、转化率提升、用户留存策略、自动化营销流程。

敏捷迭代规划助手，基于团队产能和历史速率完成迭代范围选定、任务拆分估点、依赖分析和负载均衡分配，输出可执行的迭代计划。关键词：Sprint规划，敏捷，Scrum，任务拆分，估点，负载均衡，依赖分析，迭代，产能计算

统计验证器是一个用于验证统计声明、检查研究方法、进行显著性测试、声明验证和偏见检测的技能。它帮助事实检查统计主张、验证研究发现和审计数据分析，适用于数据科学、量化金融和科研学术等领域。关键词：统计验证、方法论检查、显著性测试、声明验证、偏见检测、数据分析、量化金融、SEO优化。