They probably use (based)pyright which is much faster than mypy and ruff which is much much much faster than pylint.