This is a looking-for-group bot I made for a friend’s Discord server back in 2023.
I am no longer actively working on it but I think it serves as a pretty great starting point for a more elaborated system, so I decided to open-source it.
The bot is lack of localization (only supports Chinese as the menu language) and supports only a few hard-coded game options; it should be quite easy to extend the functionalities by yourself, though.
Here is a screenshot of a sample usage:
You can find the code here. Feel free to modify it for your own needs.