Kraty: Live events, leaderboards, and bots for game studios