此技能用于定期与外部相关方同步项目进度，确保信息及时更新和沟通顺畅，提高协作效率。关键词：进度同步、外部沟通、定期更新、项目管理、沟通协调、团队协作。

此技能用于整合多来源的科学研究发现，创建基于证据的连贯叙事，评估证据质量与不确定性，并生成高水平的合成报告。适用于科研综述、元分析、证据整合等场景，帮助用户处理跨源数据和科学共识。关键词：研究合成、证据整合、跨源分析、不确定性量化、科学共识、数据评估、叙事构建。

这项技能用于在请求未明确指定时，通过询问最少的澄清问题来避免错误工作，确保需求清晰，提高项目成功率和效率。关键词：需求澄清、项目管理、软件开发、工作流程、避免错误、SEO优化。

这是一个项目管理工具技能，用于创建、跟踪和存档项目，作为连接年度目标与日常任务的桥梁。它支持项目创建、状态仪表板查看和项目存档，帮助用户高效管理个人或团队项目。关键词包括项目管理、目标跟踪、任务管理、进度监控、个人生产力、项目存档、状态仪表板。

STRING数据库技能是一个用于蛋白-蛋白相互作用查询、网络分析、功能富集（如GO和KEGG）和系统生物学研究的工具。它支持5000+物种的相互作用数据，适用于生物信息学、分子诊断和科研数据分析。关键词：蛋白相互作用、网络分析、功能富集、STRING API、生物信息学、数据查询。

此技能专注于Jupyter笔记本的最佳实践，提供指南和建议，以确保代码结构清晰、文档完整、分析可重复。适用于数据分析、机器学习、数据科学等领域。关键词：Jupyter笔记本最佳实践、代码审查、数据科学工具、可重复性、文档编写。

这个技能提供Cursor和Claude Code代理之间工作流程的详细指导，包括角色分工、任务管理、CI/CD规则和常见问题解答。关键词：工作流程、Cursor、Claude Code、代理协作、项目管理、开发流程、SEO搜索。

此技能用于通过创建和管理Markdown文件来规划复杂任务，提高工作效率和记忆持久性。适用于软件开发、研究项目等多步骤任务，帮助记录进展、发现和错误。关键词：文件规划、任务管理、Markdown、工作记忆、多步骤任务、自动恢复、项目管理工具。

这个技能提供命题逻辑问题解决的策略和方法，包括公式结构识别、真值表分析、自然演绎推理和语义表方法，适用于数学逻辑学习和研究。关键词：命题逻辑、数学逻辑、问题解决、推理规则、真值表、自然演绎、语义表。

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

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

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