I've used https://github.com/mbrt/gmailctl/ to tame my inbox with some degrees of success, but gmail filters are just so flaky.
Next step in my things-to-try list is to just download the inbox via imap and sort it out locally.
Next step in my things-to-try list is to just download the inbox via imap and sort it out locally.
Are you referring to actual Gmail filters, or Google Apps Scripts that attempt to mimic Gmail filters? I don't recall seeing the former be flaky, but the latter is another story.