Depending on how much of scipy-stubs it understands, it might be interesting to include pyrefly to the set of supported type-checkers.