Last released Nov 5, 2026
A fast type checker and language server for Python with powerful IDE features