This is the source code for a Discord bot used by the SkyHanni staff on the SkyHanni Support Server.
This Discord bot is written in Kotlin.
We use JDA to communicate with the Discord Bot API.
We use Gson to parse JSON responses from the APIs provided
by Discord and GitHub.
We use SQLite to store tag information locally.
!help
Lists all commands available to the user. The list varies for admins.
!help <command>
Displays the usage, description, and parameters of a command.
!<command> -help
Displays the usage, description, and parameters of a command.
Used to display a longer text in response to a short command.
!<tag>
Displays the response associated with the tag.
Supports replying to another message, which deletes the original message and posts the response as a reply.
Supports the -d parameter to delete the user’s message.
Supports the -i parameter to view the tag uses count.
!tagadd <tag> <response>
Creates a tag.
!tagedit <tag> <response>
Edits an existing tag.
!tagdelete <tag>
Deletes a tag.
!taglist/!tags
Shows a list of all tags.
Supports the -i parameter to include and sort by uses.
!undo
Removes the last tag message sent by the user.
Displays information about a Skyblock-related Discord server.
Excludes servers from streamers, YouTubers, and Hypixel/Skyblock guilds.
The list is saved as JSON in this repository under data/discord_servers.json.
When users send a server URL directly, they are reminded to use !server <keyword> instead, and unknown server links
are logged for future inclusion.
Checks on startup of the bot via Discord API if the server id has changed, indicating a fake server that stole the
vanity url.
!server <server>
Displays information about a server.
Supports the -d parameter to show debug info for the server.
!serverlist/!servers
Lists all servers.
!updateservers
Admin command to reload the server list JSON file from GitHub.
!pr <number>
Displays information about the pull request with the given number, including a link to download the artifact.