Rule-based benchmark demo

任务设计、模型分数和轨迹归档

A compact SWE-Marathon-style view for manually synthesized tasks. Every delivered task is offline, deterministic, and linked to archived trajectories.