Zuban is a new static type checker for Python that offers two modes: a mypy-compatible drop-in and a pyright-style inference. Developed in Rust by David Halter, Zuban is open source under AGPL-3.0 and offers a commercial license for organizations that cannot comply with AGPL. This unique licensing approach funds its development while posing challenges for proprietary codebases.