openai/miniF2F — GitTeam