Mago is a new linter/analyzer for PHP: <https://github.com/carthage-software/mago>, as PHPStan. It would be good for it to work with GrumPHP.