Wow well Ty seems to be the contender here. According to this blog article.

Clone the repo

git clone https://github.com/facebook/pyrefly.git cd pyrefly/scripts/benchmark

Create a venv and install type checkers

python -m venv .venv source .venv/bin/activate pip install pyright pyrefly ty mypy

Run the typecheck benchmark on a few packages

python typecheck_benchmark.py --packages 5

Run specific packages

python typecheck_benchmark.py --package-names requests flask django

Or run it on all 53 tracked packages

python typecheck_benchmark.py