本地推理引擎，基于ARA目录检索信息并回答预测性问题，如假设分析、效果归因及方案对比，支持自动编译非标准数据源。
根据主题搜索arXiv学术论文，提取标题、作者、摘要等关键信息，并以结构化表格呈现结果，辅助学术研究与文献调研。
QuTiP量子物理模拟库，用于研究主方程、Lindblad动力学、退相干及开放量子系统。提供状态演化、算符操作与分析功能，适用于科研与教育，不用于电路量子计算。
维护可证伪假设、操作化定义、研究问题及证据支持的投资组合，涵盖FINER检查与假设生成。
ARS-Codex适配器，路由学术研究工作流。支持深度研究、论文撰写与修改、同行评审模拟及实验规划。通过意图匹配加载对应WORKFLOW.md，处理模糊选题时启用苏格拉底式引导。
用于基于FEA应力结果预测疲劳寿命的工作流，涵盖雨流计数、损伤累积及S-N曲线应用。指导用户从Abaqus提取数据并应用Basquin或Miner法则进行高/低周疲劳分析。
用于从学术论文或技术文档中提取可操作见解，生成结构化摘要。涵盖问题、方法、关键发现及证据映射，评估实用性与局限性，辅助工程决策。
交互式反编译导师，引导用户通过 tiny-dec 的 RV32I 流水线学习反编译器原理。自动配置 Python 环境并评估用户背景以提供个性化教学。
自主深度研究智能体，通过读取目录文件、网络搜索与数据抓取进行多轮文献调研和批判性迭代，最终生成高质量的研究论文PDF。
用于自然科学、工程仿真、科学软件路由及数据分析的 Skill。通过 bash_exec 执行计算，利用 artifact.science 记录证据图，并提供包检查与 HPC 工作流支持。
用于规划并执行论文、声明或基准测试的复现工作。在用户明确选择环境后，生成复现计划、脚本及结果输出，支持本地、虚拟环境或云端执行。
提供结构化科学假设生成的最佳实践，指导从观察出发构建可证伪的零假设与备择假设，生成竞争性解释及具体预测，并关联实验设计以确保研究严谨性。
