Mistral发布FLTEval：FLT Lean任务评测工具链

mistralai发布FLTEval仓库（2026-07-02，仓库创建日口径）：独立实现FLT Lean任务的可运行评测工具链，Apache-2.0许可，提供Docker评测流程、样例数据和报告产物。详细信息以官方发布为准。