Grok, The Real Developer (Dev)