用于验证DART 3D场景和物理仿真的正确性。通过文本指标（能量、碰撞等）为主，渲染图像为辅的方式，检测动力学缺陷、几何穿透等问题，支持无GUI环境下的调试与基准测试。
生成GNSS基带波形（GPS/Galileo/NavIC），支持物理场景或自定义信道损伤，用于接收机测试与仿真。
用于读取和提取Abaqus ODB文件中的分析结果，如最大应力、位移、反作用力等。支持按步骤、帧、位置筛选数据，并导出为CSV或文本报告。
用于监控活跃装置中物质状态变化的技能，通过观察和检查操作追踪加热或反应过程中的进展。
提供形式化验证工具，支持 Lean 4 类型检查、Coq 证明验证及 Z3 SMT 可满足性求解。用于数学定理证明、逻辑正确性检查和公式验证，辅助用户迭代修正证明代码。
- «
- 1
- »
