@mhoye I do not. It's pretty much the same as making any other kind of bot but you plug in a Mastodon API client of your choice at the end. And you do have to pick a server but I like botsin.space for that.