Hey all, I’m thinking of building a tool to help with type hint adoption and am curious which python type-checker has most love from the community mypy: Ⓜ️ pyright: 🌴 other (please elaborate): 🅾️ i don’t love any: 🤷 Personally a big fan of pyright as it integrates well in vscode. Wondering if mypy has more stars on gh just because it was released first.