用于验证DART 3D场景和物理仿真的正确性。通过文本指标（能量、碰撞等）为主，渲染图像为辅的方式，检测动力学缺陷、几何穿透等问题，支持无GUI环境下的调试与基准测试。
用于SimBiology模型的仿真模拟，包括确定性ODE、随机SSA、场景探索和敏感性分析。适用于运行预测、假设分析和参数影响识别，排除模型构建与拟合任务。
用于CalculiX自由振动特征分析，提取固有频率、检查共振裕度及可视化振型。通过MCP工具提交求解并读取结果，适用于开源求解器的模态分析任务。
用于在模拟环境中测试物体导电性。通过构建包含电池、灯泡和导线的电路，观察灯泡亮灭来判断物体是否导电，并据此将物体分类放入对应颜色的盒子中。
提供形式化验证工具，用于检查Lean 4类型、验证Coq定理及使用Z3求解SMT问题。通过本地调用证明器辅助数学证明与逻辑可满足性分析。
- «
- 1
- »
