I don't know of Grok but we use Cursor (2000+ people, probably like 1000 devs)