Mago combines static analysis, linting and formatting in a single Rust binary, with no PHP runtime and far faster than current tooling. On the menu: configuration, compatibility with PHPStan and Psalm annotations, generics and conditional types, pre-commit, CI and editor integration, all demonstrated on a real codebase. Enough to plan a gradual migration and speed-up your CI.