Are there any users who run bots/have developed interesting tools for math.SE?
Listing such tools in one post may be good in my opinion, and I am aware of one such user, Normal Human, and it took me 4 months to discover the toolset he developed, which are really useful.