Grok bør legge til Grokipedia i sine agentiske verktøy så snart som mulig.