Looking for resources about using redis for leader board

I looked everywhere but I can't find anything on how to use redis in devvit.

I asked the AI on the quickest art page of devvit and it showed me a very complicated way using useAction which isn't even an option to import