GitHub repository: zonuexe/phpstan-phpspec
Description: PhpSpec extension for PHPStan