用于验证DART 3D场景和物理仿真的正确性。通过文本指标（能量、碰撞等）为主，渲染图像为辅的方式，检测动力学缺陷、几何穿透等问题，支持无GUI环境下的调试与基准测试。
用于运行 SimBiology 模型仿真，支持确定性 ODE、随机 SSA、场景探索及敏感性分析。适用于预测行为、What-if 分析及参数影响评估，需遵循 MATLAB 路径配置与求解器设置规范。
基于 CalculiX MCP 的模态分析工作流，支持提取固有频率、检查共振裕度及可视化振型。通过运行求解器并解析结果文件，实现自由振动特征值分析。
提供形式化验证工具，支持通过 Lean 4、Coq 和 Z3 进行定理证明验证、类型检查及可满足性问题求解，适用于数学逻辑与学术工作流。
- «
- 1
- »
