xAI's terminal-based coding agent, powered by Grok models.