Mini SWE-Agent (MINI)