用于验证DART 3D场景和物理仿真的正确性。通过文本指标（能量、碰撞等）为主，渲染图像为辅的方式，检测动力学缺陷、几何穿透等问题，支持无GUI环境下的调试与基准测试。
学术参考文献多源验证技能，支持批量或单条校验。通过Crossref、IEEE等并行查询，逐字段比对作者、标题、DOI等，标记冲突与错误，输出结构化报告并支持Zotero同步修正。
基于 MATLAB PDE Toolbox 的端到端有限元分析技能，涵盖几何创建、模型设置、求解及后处理。支持热、结构、电磁等多物理场仿真，适用于 FEA 全流程任务。
LAMMPS分子动力学仿真工作流技能，涵盖输入准备、运行、诊断与报告。强调证据链可追溯性，确保模拟结果严谨，避免过度解读纳米尺度数据。
当直接测试材料属性失败或不可用时，通过逻辑推理和常识判断材料性质（如导电性），完成分类任务。
提供形式化验证工具，用于检查Lean4和Coq证明的正确性，以及使用Z3求解SMT可满足性问题。支持本地安装的工具调用、状态检查及迭代调试。
用于药物发现中的化合物筛选与优先级排序，支持类药性规则、结构警报检测及自定义查询语言，辅助进行苗头化合物到先导化合物的优化。
- «
- 1
- »
