The Zuban Language Server & Type Checker

Zuban is a high-performance Python Language Server and type checker implemented in Rust, by the author of Jedi. Zuban is 20–200× faster than Mypy, while using roughly half the memory and CPU compared to Ty and Pyrefly. It offers both a PyRight-like mode and a Mypy-compatible mode, which behaves just like Mypy; supporting the same config files, command-line flags, and error messages.

Most important LSP features are supported. Features include diagnostics, completions, goto, references, rename, hover and document highlights.

Installing Zuban

Zuban passes over 95% of Mypy’s relevant test suite and offers comprehensive support for Python’s type system.

Zuban is licensed AGPL

Chapters

• Installation
  • VSCode
  • VIM
  • Helix
  • Zed
  • Emacs
  • Kate
• Usage
  • Configuration
  • Type Checking / Command Line
  • Language Server
  • Dealing with the sys.path
  • Logging
• Features
  • Features
  • Missing Features
• License
• Type Checker Comparison
  • Mypy
  • Pyright
  • ty / pyrefly
  • Jedi
• Changelog
  • Changes