Looks like a nice side project. But the first question that popped into my mind was, doesn't SonarQube already covers these rules?
About the usage as a linter it tries to keep rules to a minimum of sensible rules, the ones explained in Effective Java. We chose them because they are rules well understood and accepted by the vast majority of developers so we hope to reduce the number of questionable findings returned to the user.
Yes, Hoogle is super cool, it would be definitely useful to have something like that.
I wrote in the past tools to manipulate ASTs of several languages but I have never looked in a Scala parser. Can you suggest one?
Of course this is purely anecdotal since I've only worked with +-30 over the years.