OKR规划技能是一个专用于目标与关键成果管理的工具，帮助团队设定、跟踪和对齐OKR。该技能提供OKR创建、战略对齐、进度跟踪和报告生成功能，确保团队目标与公司战略保持一致。核心能力包括验证关键成果可衡量性、创建级联结构、识别目标覆盖空白、计算进度分数以及生成可视化报告。适用于产品管理、团队协作和战略执行场景，提升目标管理效率和透明度。关键词：OKR规划，目标管理，关键成果跟踪，战略对齐，进度报告，团队协作，产品管理工具。

这是一个集成的数学能力工具，专门用于执行各种数学计算、求解和解释任务。它支持符号计算（如方程求解、积分、导数）、约束求解（证明数学陈述）、单位转换以及数学概念的详细解释。关键词：数学计算、符号数学、SymPy、Z3、单位转换、数学解释、SEO优化、数据分析工具、量化金融基础。

产品战略家工具包旨在帮助产品负责人通过OKR层级生成、市场分析、愿景设定和团队扩展等战略工具，推动产品愿景、目标对齐和组织卓越。

此技能用于在软件开发过程中，通过头脑风暴会议来澄清用户需求、探索设计方法和决策，确保在规划前明确目的和方案。关键词包括：头脑风暴、需求分析、设计决策、用户意图、探索方法、YAGNI原则、渐进验证。

这是一个用于执行复杂任务的智能工作流管理系统，具有跨会话持久化、层级任务组织、多代理委托和高级协调能力。关键词：任务管理、工作流、跨会话持久化、智能协调、项目管理、多代理委托、进度跟踪、质量验证。

这个技能用于访问和查询人类代谢组数据库（HMDB），支持通过名称、ID、结构等方式搜索代谢物，检索化学性质、生物标志物数据、光谱信息等，适用于代谢组学研究、临床化学、生物标志物发现和代谢物鉴定。关键词：HMDB，代谢组学，代谢物数据库，生物信息学，数据分析，临床化学，生物标志物。

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

GTM策略技能是专门用于产品上市规划与执行的工具，帮助企业制定有效的产品发布计划、市场定位、渠道策略和销售赋能方案。该技能支持发布层级评估、时间线规划、信息传递框架构建、竞争分析、销售材料生成等功能，适用于新产品发布、重大版本更新、功能上线和市场拓展等多种场景。关键词：产品上市策略，GTM规划，市场发布，销售赋能，渠道策略，竞争定位，产品发布计划，上市执行，营销框架，产品定位。

推理归纳是一种从多个实例中提取模式和规则的技能，用于发现数据中的系统行为和预测规律，适用于数据分析和模式识别。

用户研究分析是一种将用户访谈、调查和分析数据综合起来，以识别用户需求、验证设计假设并指导产品开发的方法。关键词包括：用户访谈、调查分析、设计验证、产品开发。

这个技能用于在软件开发中管理特性实现的标准工作流，包括规范编写、计划制定、任务执行和审查，以提高项目效率和代码质量。关键词：工作流、规范、计划、项目管理、软件开发、特性实现、任务管理、代码审查。

这是一个专为查询和分析大规模单细胞基因表达数据设计的技能，提供对超过6100万细胞的标准化数据访问，支持跨组织、疾病和细胞类型的数据探索、机器学习模型训练，并集成扫描py、PyTorch等分析工具，关键词包括单细胞分析、基因表达、数据查询、机器学习、生物信息学。