Psalm PHP Static Analyzer | Hugonweb Annotated Link Bibliography

https://psalm.dev

A static analyzer with (optionally very strict) type checking. Developed at Vimeo.

Includes a language server (link to docs)