用于在arXiv、PubMed、IEEE等多学术平台搜索论文，支持按关键词或作者查找文献，辅助全面文献综述。
根据评审结论和实验结果生成结构化的论文大纲，支持多顶会格式与页数限制，自动提取主张与证据以辅助写作规划。
提供学术研究方法论指导，涵盖研究问题设计（FINER标准）、文献检索策略及引用管理，支持学术写作合规性检查。
用于生成符合期刊出版标准的科学可视化图表，支持多面板布局、显著性标注、误差线及色盲友好配色。
面向ML/AI顶会的端到端论文写作技能，涵盖实验设计、执行、分析、撰写、自审及投稿全流程，支持迭代反馈与非实证类论文。
基于Genomic Intelligence托管模型，通过DNA序列预测调控特征、基因结构及表达量。支持启动子、剪接位点等分析，无需本地GPU。
指导智能体在科学实验中测量物质温度，判断是否达到熔点等阈值。流程包括获取温度计、定位目标、加热准备及读取数据，适用于需要精确温度监控的实验场景。
用于评估科学研究严谨性的技能，涵盖方法学、实验设计、统计有效性及偏倚分析。支持使用GRADE和Cochrane ROB框架审查科学主张，并建议结合科学图表增强可视化表达。
用于在 Lean 4 中编写、审查结构化证明及设计数学库。涵盖定理证明、规范形式化、代码重构、CI 配置及性能诊断，遵循 Mathlib 约定。
提供形式化验证工具，支持通过 Lean 4、Coq 和 Z3 进行定理证明验证、类型检查及可满足性问题求解，适用于数学逻辑与学术工作流。
用于通过API、网页抓取和HTML阅读器访问、搜索、下载和阅读arXiv学术文献的Skill，支持元数据查询、最新论文浏览及内容提取。
对智能体原生研究产物进行语义认识论审查，评估证据相关性、可证伪性等六个维度，生成建设性评分报告与接受/拒绝建议。
基于Lean4的形式化定理证明技能，通过研究、设计、测试、实现和验证五阶段工作流，辅助数学家进行机器可验证的数学证明。
用于发现难以变化的因果理论，解决未知现象或科学突破。通过进化搜索和解释性选择生成多样化幸存者组合，适用于新理论开发、机制发现及多周期创意探索。
