What about ruff + pyright? From a skim it seems like a lot of the missing features would be covered by a type checker?

(Pyright isn't written in Rust, but adequate performance is still a design goal)