First, thanks @MindGods for sharing PHP Insights on Hacker News!
To answer some question on the comments:
The goal of PHP Insights is not to perform type checking, for that we already have PHPStan and Psalm. And both already work great by default.
PHP Insights wraps tools like PHP CS, or PHP CS Fixer, putting each check/sniff within a specific category: A missing blank space is related to coding style. On the other end, having mutable objects can be considered a code quality problem.
So, once we have those checks performed, we show a well-designed console interface that shows developers the results per category in a human-readable form: with a score, percentages, etc.
Besides, it's designed to work out-of-the-box with Laravel, Symfony, and others. In other words, we have prepared a set of presets, that represent the conventions per framework, so when people launch PHP Insights within a Magento2 project, their project will be analyzed following the Magento conventions.
Long live PHP!