Discord token

This is a guide to create a new Discord bot, set it up and use its token in the application.

https://discordapp.com/developers/applications/me

Creating the discord bot

After going to the specified url at the top, login to Discord and choose to create a "New App".
Here you choose a name, description and app icon. It is not necessary to add a redirect uri (and as such, it is advised against). Choose to "Create App" where the website will transition to an overview of the account.
For purposes of managing the Prodosía application, a Bot User should be used. Go to the Bot tab and choose to Create a Bot User. This will permanently transition your app into a bot user. Once this choice has been selected, the Bot tab will reveal a Username and allow for the user to "click to reveal" the bot token. Click this and use this bot token in the application.

Adding the bot to a server

https://discordapp.com/oauth2/authorize?client_id=CLIENT_ID_GOES_HERE&scope=bot&permissions=84992

At the top of the bot overview page, under the tab App Details, the Client ID can be found. For the above url, replace CLIENT_ID_GOES_HERE with the specified client id of your bot.

Discord permissions can be calculated at:
https://discordapi.com/permissions.html
The recommended permission scope is 84992 which allows for:

• Reading messages send in discord (necessary for responding to Tracker commands)
• Embedding links (optional for archives)
• Reading message history (duplication prevention for archives)
• Sending messages (responding to Trackers and posting archives)

The discord bot will only function for the channels that it has access to.