Grokはできるだけ早くGrokipediaをエージェントツールに追加すべきです。