Quick question about Discord

Is Discord actually safe for kids or nah? My 13yo wants to join a server with like 200 people from his gaming community. I'm torn between wanting him to have social interaction vs not knowing who he's actually talking to.