Here are the Red commands to add this repository (use your bot's prefix in place of [p]):
[p]load downloader
[p]repo add riderius-cogs https://git.sr.ht/~riderius/riderius-cogs
Cog for creating message rating.
To install use:
[p]cog install riderius-cogs Rater
[p]load Rater
Cog send a random integer N such that a <= N <= b.
To install use:
[p]cog install riderius-cogs Randomizer
[p]load Randomizer
Cog send user statistics.
To install use:
[p]cog install riderius-cogs Stat
[p]load Stat
Send patches/bugs to the mailing list.