基于本地 Agent-Native Research Artifact (ARA) 的只读推理引擎，通过检索与预测合约回答关于研究结果的假设、对比及归因问题。
用于在arxiv搜索学术论文并返回结构化摘要。通过组合查询提取标题、作者、日期及关键贡献，以表格形式展示结果，特别标注与智能体记忆系统相关的论文及综述文章。
QuTiP是量子物理模拟库，用于开放量子系统、主方程及Lindblad动力学的仿真与分析。适用于量子光学、腔QED等科研场景，不适用于基于电路的量子计算算法开发。
维护可证伪假设、操作化定义、研究问题及证据支持组合，涉及FINER检查与门控流程。
ARS-Codex学术研究工作流适配器，路由至深度研究、论文撰写、同行评审及实验规划等子工作流。支持自然语言与命令别名触发，优先处理模糊选题的苏格拉底式引导。
将单篇科学论文转化为基于证据的深度阅读卡片，涵盖文献定位、核心洞察、实验证据链及批判性分析等16个固定模块。支持PDF解析与多源输入，强调来源可信度与结构化输出。
用于SimBiology模型参数拟合、群体药代动力学(NLME)、虚拟患者生成及非房室分析(NCA)。通过fitproblem接口进行参数估计与校准，支持数据分组、响应映射及边界约束。
基于FEniCS/dolfinx使用有限元方法求解偏微分方程，涵盖弱形式推导、网格生成、边界条件设置及结果可视化。
提供学术文献搜索能力，主要支持arXiv等仓库。适用于查找前沿研究、AI/ML论文、计算方法及跨学科主题，帮助用户获取预印本和最新进展以进行技术调研或文献综述。
用于自然科学、工程仿真、科学软件路由及数据分析的 Skill。通过 bash_exec 执行计算，利用 artifact.science 记录证据图，支持 HPC 作业管理与科学主张验证。
用于基于SolubleMPNN工作流进行溶解度感知的蛋白质设计与筛选。涵盖输入记录、模型验证、序列生成及针对疏水斑块等特征的候选者过滤，旨在设计易表达或降低溶解度风险的蛋白变体。
提供科学计算、数值方法、生物信息学（如DNA引物设计）、逻辑电路设计及机器学习训练的策略与规范，强调编写完整脚本以确保状态一致性并验证输出。
