OpenAI's coding agent.