用于验证DART 3D场景和物理仿真的正确性。通过文本指标（能量、碰撞等）为主，渲染图像为辅的方式，检测动力学缺陷、几何穿透等问题，支持无GUI环境下的调试与基准测试。
用于配置和仿真雷达检测场景，基于硬件规格生成统计数据。支持诊断配置错误、对比扫描策略及蒙特卡洛分析，为跟踪器提供检测输入。
用于论文诚信审查的轻量级启动器，通过运行Anti-Autoresearch工具检测学术不端行为，并生成策略门控和合规记录。
提供形式化验证工具，支持通过 Lean 4、Coq 和 Z3 进行定理证明验证、类型检查及可满足性问题求解，适用于数学逻辑与学术工作流。
- «
- 1
- »
