Never seen one. But I can imagine some being useful. Bridge bots to autopost from other sources, translate bots or reference bots (like Wikipedias “Linky”), for example.
I think bots have the potential to be useful but reddit is absolutely overwhelmed with (IMHO) wasteful bots like “shakespeare bot” and “dad joke bot.” I think a good baseline policy could be that bots should not make unsolicited comments, although I could imagine some cases where that might be welcome (e.g. a reverse image search bot pulling up the original version of an image).
no shakespeare bot here, yet lemmy may like a Dostoevsky bot ?
deleted by creator
Had Dostoevsky’s “Eternal …” at school : meh…
Opt-in bot per community sounds good.
https://lm.korako.me/ looks to be running bots