Tuli

Specializes in detecting type mismatches in function arguments and return values, as shown in the example where it catches float-to-int conversions in function calls.

Handles complex class hierarchies by analyzing all possible method definitions, ensuring type safety across inheritance, demonstrated in the second example with classes A, B, and C.

Installation is straightforward via Composer with a single command, making it simple to add to existing PHP projects without complex setup.

Prioritizes real-world type errors over theoretical completeness, catching issues like missing return statements in typed functions, as indicated in the output examples.