基于原始科研文献进行科学概念解释与对比，通过特定连接器检索证据并辅以图表分析。适用于学术问答、文献综述及研究主张验证，强调使用可视化证据和结构化数据支撑结论。
执行科学文献检索、验证与综合，通过交叉核对真实来源避免虚构引用，处理撤稿并校准置信度，生成高质量综述。
本地只读推理引擎，基于ARA世界模型检索文献并回答预测性问题。支持假设分析、效果归因及方案对比，通过语义检索与诚实预测生成可证伪答案，无需外部API。
用于搜索 arXiv 学术文献，提取标题、作者、摘要等关键信息并结构化展示。支持多年份检索及特定领域（如智能体记忆系统）的相关性高亮，适用于学术研究辅助与信息搜集场景。
QuTiP用于开放量子系统模拟，涵盖主方程、Lindblad动力学及退相干研究。提供状态演化、求解器选择及物理量分析工具，适用于量子光学与腔QED等科研教育场景，非电路计算库。
用于评估和优先排序科学研究问题，依据重要性、新颖性、可行性、证据、资源、伦理和可证伪性等维度进行打分与决策。
ARS-Codex是学术研究与写作套件的路由适配器，支持深度研究、论文撰写、同行评审及实验规划等全流程。通过意图识别加载特定工作流文件，提升学术任务处理效率。
用于解析和分析学术PDF论文，支持下载、深度多模态提取文本与图表、结构及元数据获取。旨在通过结构化解析和视觉分析辅助用户理解论文内容，并严格控制Token消耗以优化效率。
将科学论文转化为结构化精读卡，分析方法与证据链。支持PDF解析、源边界识别及局部卡片生成，用于科研阅读与深度理解。
使用FEniCS/dolfinx求解偏微分方程，涵盖弱形式推导、Gmsh网格生成、边界条件设置及ParaView可视化。适用于复杂几何下的椭圆/抛物/双曲PDE求解及多物理场定制。
用于解析学术论文和技术文档，提取关键发现、方法论及实践意义。支持通过链接或PDF进行内容分析，输出结构化摘要以便工程决策参考。
用于基于SolubleMPNN进行蛋白质序列的可溶性设计与筛选。涵盖记录输入约束、验证模型、生成序列及过滤候选者，旨在设计表达友好且可溶性高的蛋白变体，并评估表达风险。
基于PRISMA指南的结构化文献综述技能，涵盖搜索策略、筛选标准、多库检索及结果综合，旨在高效提取关键发现并识别研究缺口。
辅助科研启动全流程，涵盖基于5W1H框架的创意发散、文献综述、差距分析、研究问题定义、方法选择及计划制定。支持通过WebSearch和Zotero集成管理学术资源，旨在将模糊想法转化为可执行的研究合同。
