本地推理引擎，基于ARA目录检索信息并回答预测性问题，如假设分析、效果归因及方案对比，支持自动编译非标准数据源。
根据主题搜索arXiv学术论文，提取标题、作者、摘要等关键信息，并以结构化表格呈现结果，辅助学术研究与文献调研。
QuTiP量子物理模拟库，用于研究主方程、Lindblad动力学、退相干及开放量子系统。提供状态演化、算符操作与分析功能，适用于科研与教育，不用于电路量子计算。
维护可证伪假设、操作化定义、研究问题及证据支持的投资组合，涵盖FINER检查与假设生成。
ARS-Codex适配器，路由学术研究工作流。支持深度研究、论文撰写与修改、同行评审模拟及实验规划。通过意图匹配加载对应WORKFLOW.md，处理模糊选题时启用苏格拉底式引导。
用于基于FEA应力结果预测疲劳寿命的工作流，涵盖雨流计数、损伤累积及S-N曲线应用。指导用户从Abaqus提取数据并应用Basquin或Miner法则进行高/低周疲劳分析。
用于从学术论文或技术文档中提取可操作见解，生成结构化摘要。涵盖问题、方法、关键发现及证据映射，评估实用性与局限性，辅助工程决策。
交互式反编译导师，引导用户通过 tiny-dec 的 RV32I 流水线学习反编译器原理。自动配置 Python 环境并评估用户背景以提供个性化教学。
用于自然科学、工程仿真、科学软件路由及数据分析的 Skill。通过 bash_exec 执行计算，利用 artifact.science 记录证据图，支持 HPC 作业管理与科学主张验证。
用于基于SolubleMPNN工作流进行溶解度感知的蛋白质设计与筛选。涵盖输入记录、模型验证、序列生成及针对疏水斑块等特征的候选者过滤，旨在设计易表达或降低溶解度风险的蛋白变体。
提供科学计算、数值方法、生物信息学（如DNA引物设计）、逻辑电路设计及机器学习训练的策略与规范，强调编写完整脚本以确保状态一致性并验证输出。
提供统计检验选择、假设验证及APA格式报告指南，涵盖t检验、ANOVA等常用方法及效应量计算，用于实验数据分析与结果撰写。
