本技能提供解决实分析中连续性问题的策略，包括函数极限定义检查、使用SymPy计算极限、处理分段函数和Z3验证连续性。适用于数学分析、数据科学和量化金融等领域。关键词：连续性，实分析，SymPy，Z3，数据分析，极限计算。

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

OMERO 集成技能提供Python API访问OMERO平台，用于管理、分析和可视化显微镜图像数据。支持数据检索、像素分析、ROI管理、批量处理等功能，适用于高通量筛选和显微镜工作流程。关键词：OMERO、显微镜数据管理、Python API、图像分析、ROI、高通量筛选、数据科学。

这个技能用于访问RCSB PDB数据库，允许用户搜索和下载蛋白质和核酸的3D结构数据，包括文本、序列和结构相似性搜索，下载坐标文件（如PDB和mmCIF格式），检索元数据，适用于结构生物学研究、药物发现、生物信息学分析和科研数据工程。关键词：PDB数据库、3D结构、蛋白质结构、核酸结构、数据检索、结构生物学、药物发现、生物信息学、数据科学。

这个技能用于通过REST API和FTP访问欧洲核苷酸存档（ENA），检索DNA/RNA序列、原始读段（FASTQ）、基因组组装和相关元数据，适用于基因组学和生物信息学管道。支持多种数据格式和高级搜索功能，方便数据集成和分析。关键词：基因组学，生物信息学，序列数据，API访问，数据检索，欧洲核苷酸存档。

表单转化率优化（Form CRO）是一种专注于提高网站表单完成率和转化率的技能，涉及表单设计、用户体验优化、A/B测试和数据分析，旨在减少用户摩擦、捕获高质量数据并提升营销效果。关键词包括：表单优化、转化率提升、用户体验、CRO策略、A/B测试、数据分析。

EDN分析器是一个专门用于深入分析Logseq数据库图模板的工具，它能够统计类别和属性，识别孤立项，检查模板质量，并比较不同版本的模板。

这个技能用于执行时间安慰剂灵敏度分析，验证因果声明的有效性。它通过模拟干预前后的数据折叠来检查模型是否错误检测效应，确保因果实验的稳健性。适用于数据科学、机器学习和因果推断领域，关键词包括安慰剂分析、因果验证、模型稳健性、灵敏度测试、CausalPy、数据科学实验。

TimescaleDB Patterns 是一个关于如何使用 TimescaleDB 进行时间序列数据管理的技能，涵盖了数据库设置、超表创建、数据分区、连续聚合、数据保留策略、查询优化、压缩、监控告警以及与 Grafana 集成等多个方面，是处理大规模时间序列数据的实用指南。

该技能提供产品分析的全套工具和方法，包括事件分类设计、追踪计划制定、用户行为深度分析、激活与留存指标计算以及营销归因策略。以PostHog为首选平台，支持多平台如Pendo、Amplitude、Mixpanel、Heap集成。适用于产品管理、营销增长和数据分析领域，助力数据驱动的决策优化和业务增长。关键词：产品分析、事件追踪、用户行为分析、营销归因、数据分析、PostHog、多平台支持、SEO搜索。

NetworkX是一个Python库，专门用于创建、分析和可视化复杂网络和图表。它支持多种图类型、丰富的图算法、网络生成、文件I/O和可视化功能，适用于社交网络、生物网络、交通系统等领域。关键词：网络分析、图算法、Python库、数据可视化、复杂网络、社交网络分析、图数据处理、网络科学、算法库。

ETE工具包是一个用于系统发育树分析和可视化的Python工具集，支持树操作、进化事件检测、正交性分析、NCBI分类学集成及高质量可视化。适用于系统发生学研究、基因家族分析、聚类分析和科研绘图。关键词：系统发育树、进化分析、树可视化、基因树、正交性、NCBI分类学、聚类分析。