基于BioPython的序列分析技能，支持DNA/RNA/蛋白质序列的基础属性计算、翻译、GC含量、开放阅读框查找、限制性内切酶位点分析及引物设计。
在获得数值测量值后，将其与预设阈值比较以确定二元结果。用于解析数值、识别条件并执行对应分支动作，常见于科学实验中的分类或排序任务。
用于评估科学研究严谨性的技能，涵盖方法学、实验设计、统计有效性及证据质量（GRADE/Cochrane），旨在识别偏见并批判性分析科学主张。
专注于 Lean 4 结构化证明编写、定理证明及 Mathlib 规范下的库设计。涵盖形式化数学、代码审查、重构长证明、自定义战术宏、CI 配置及性能诊断，旨在提升证明的可读性、可维护性与开发效率。
提供形式化验证工具，用于通过 Lean4、Coq 和 Z3 检查定理证明正确性、验证数学证明及求解可满足性问题。
提供arXiv学术论文的查看、搜索和下载功能，支持API查询、网页抓取及HTML阅读。适用于用户询问学术文献、最新论文或需要检索/阅读论文的场景。
对智能体原生研究产物进行语义认识论审查，评估证据相关性、可证伪性等六个维度，生成包含强弱项分析及接受建议的结构化报告。
基于Lean4的形式化定理证明工具，通过研究、设计、测试、实现和验证五阶段工作流，辅助数学家完成数学命题的机器可验证证明。
用于发现难以变化的因果解释，适用于开发新理论、解释神秘现象或科学突破。通过进化机制搜索理论空间并以解释力筛选幸存者，支持多周期创意探索及快速新颖性循环。
数学可视化技能，通过动画展示方程、公式和几何概念。支持代数、微积分等，提供LaTeX渲染、函数绘图及分步推导，辅助理解数学结构。
基于Tellurium模拟生化动力学模型，执行SBML一致性检查、单位验证及参数扰动分析，生成并回放COMBINE档案。
用于数学建模赛题分析，通过拆解子问题、预检假设、理解数据，生成包含目标函数、约束及求解策略的建模报告，为代码实现提供明确接口。
该技能用于搜索arXiv预印本和学术论文，检索摘要并按主题过滤。当用户需要查找特定领域的研究论文、学术文章或预印本时触发，支持指定最大结果数量。
用于对学术论文、研究文章或预印本进行结构化同行评审。支持解析PDF或URL，评估方法论、贡献度及文献定位，生成包含优缺点和修改建议的专业审查报告。
