用于自然科学与工程任务，提供科学软件路由、仿真及数据集分析支持。通过 bash_exec 执行计算，利用 artifact.science 记录证据图，并基于 FermiLink 包索引指导科学声明与验证。
用于学术写作审核与优化，涵盖论文结构、风格精简、引用真实性核查及AI辅助披露合规。适用于投稿前的草稿审查、润色、反驳信准备及参考文献验证。
用于基于SolubleMPNN进行蛋白质序列的可溶性设计与筛选。涵盖记录输入约束、验证模型、生成序列及过滤候选者，旨在设计表达友好且可溶性高的蛋白变体，并评估表达风险。
提供科学计算、生物信息学、逻辑电路设计及数值优化的策略指导。涵盖DNA引物设计、算法挑战、ML训练及验证流程，强调通过完整Python脚本执行复杂任务以确保状态一致性。
提供统计检验选择、假设检查及APA格式报告的最佳实践，涵盖t检验、ANOVA等方法的适用场景与结果呈现规范。
系统化文献筛选技能，将协议转化为明确资格标准，通过双盲AI审查员加仲裁机制对标题、摘要及全文进行筛选。支持去重、QC质控（如Kappa系数）、PRISMA统计及多种导出格式，确保决策可追溯且无默认排除。
支持研究项目启动阶段全流程，涵盖基于5W1H的创意发散、文献综述、差距分析、研究问题定义、方法选择及研究规划。辅助用户从模糊想法转化为可追踪的研究合同，包含Zotero集成等自动化功能。
独立解决复杂数学证明题。自动解析参数，支持文件输入，管理工作目录与状态恢复，逐步记录推理笔记并生成最终证明文档 proof.md。
提供8种动态规划核心模式的识别信号、约束映射、Python模板及常见错误，辅助解决具有最优子结构和重叠子问题的优化、计数或子序列问题。
用于起草、修订和审核科学手稿，确保证据溯源、报告规范覆盖及作者责任。严禁捏造数据或引用，强制人工验证事实，保护敏感信息，维持科学准确性与一致性。
通过 Paper Search CLI 工具在 arXiv、PubMed 等学术平台搜索、下载及阅读论文，支持 DOI 查询与引用分析。
将数学命题转化为经过Lean验证的形式化定理，支持证明开发、项目续写及审计。通过跨家族对抗性审查确保逻辑严谨性与可复现交付，适用于需要形式化验证的复杂推导场景。
提供学术写作与研究方法论支持，涵盖研究问题设计（FINER标准）、文献检索策略及引用管理。适用于预注册、CRediT贡献者角色、Plan S规范、Nelson备忘录及LLM披露等合规场景。
专用于生成符合期刊投稿标准的高质量科学可视化图表。支持多面板布局、显著性标注、误差线及色盲友好配色，集成matplotlib/seaborn/plotly，提供Nature等期刊特定样式配置与导出功能。
面向NeurIPS等顶会的端到端机器学习论文写作技能，涵盖实验设计、执行、分析、论文撰写、审稿回复及投稿全流程。
