Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.

Automated code reviews via mutation testing - semantic code coverage.