Zuban: Mypy-Compatible Python Type Checker

· Python Developer Tooling Handbook – pydevtools.com · July 16, 2026, 12:15 p.m.
Summary
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.
AUTHOR
Sponsored
Zulip logo Zulip
Organized team chat for people who take work seriously. Topic-based threading keeps conversations focused.
Try Zulip
Become a sponsor →