Pydantic

pyrefly

Mypyよりも15倍速い型チェッカーで、Instagramも使用しており、コードの自動補完やナビゲーションも可能です。

超高速Python型チェッカーおよび言語サーバー。Metaの2000万行のコードで検証済み。速度はMypy/Pyrightの15倍。IDE応答時間は10ミリ秒未満。インストールしてすぐに使える。