Hello Discord user,
I'm not a Discord user myself, but it sounds like you are looking for an RSS Feed bot for Discord, which I imagine is out there, but again not sure about Discord.
If you come to the library IRC chat you will see that there is a bot there named "novatore" who posts a new comment each time a new text is added to the library. Good luck!
Hello Discord user, I'm not…