boredom is useful to a writer. a lot of my favorite writers have mentioned writing all first drafts with pen and paper. what happens in your brain when you're writing is important, even when it feels boring, slow, or repetitive. who has a better sense of where my attention should be, me or a tool? imo better writing is the product of practice, reading, and better thinking. all of that to say, if you have a pre-publishing step where you need to check spelling, grammar, capitalization, punctuation, etc. a linter might fit in at that step. but i really don't think a tool is better than your own reading or giving it to an editor you trust.