????????

Summary: The Pomodoro Event Bot is a Discord bot with pomodoro tracking features and support for multi-server deployments and cross-server leaderboards.

Terms

The term “Reserved” is used to indicate that the usage of a feature is limited to a configurable subset of users, for example server moderators.

The term “profile” is used to indicate the identity of a certain user on a certain guild. This means my profile on PC is seen as different from my profile on KOA.

Technologies used

Passed. Reason: Same as other specs

Discord Bot Behavior

Most users are able to do two things: add a pomodoro to their counter (and as such to the corresponding Guild counter) and view the statistics.

Counter

The pomodoro counting system is composed of the following commands:

• Add a pomodoro to oneself: !pom or !pom +
• Reserved: Add a pom to someone else: !pom + @user
  • This command supports adding, subtracting and numbers different from one, for example !pom +2 or !pom -5.
  • Other usages: !pom reset @user to reset the pomodoro count of a user, !pom ^N @user to set it to a specific number (here N).
• View the statistics: !score
  • This command shows information for about all servers linked to the current one. This means that if we link PC and KOA, it will show the global counter for both.

Internally, the bot keeps track of statistics for each profile. No server-wide counter is kept in memory as one can be computed from the information present on each profile.