macOS
brew install zubanlocal Homebrew formula metadata
brew
Python language server and type checker, written in Rust. Version 0.9.0 via Homebrew; verified 2026-06-25.
install
brew install zubanlocal Homebrew formula metadata
nix profile install nixpkgs#zubannixpkgs package indexes · pkgs/by-name/zu/zuban/package.nix · source: api.github.com
overview
Python language server and type checker, written in Rust
history
Zuban is a Python type checker and Language Server Protocol implementation written in Rust by David Halter, the creator of Jedi. It aims to combine mypy-compatible checking with a fast Python language server.
The ZubanLS homepage frames the project as a successor to lessons learned from Jedi. Halter says he created Jedi in 2012, then started over in 2020 to build ZubanLS in Rust after concluding that Jedi's architecture could not provide the performance needed for large projects.
Zuban became an open-source developer tool with a CLI and language server. Its README describes a high-performance Python language server and type checker, supporting diagnostics, completions, goto, references, rename, hover, document highlights, a Pyright-like default mode, and a mypy-compatible mode.
The documentation and changelog show rapid maturation through the 2025 beta and 2026 releases, especially around editor integration, sys.path handling, Django support, typed Python conformance, and mode selection between default and mypy-compatible behavior.
Zuban's adoption niche is emerging rather than settled: it enters a crowded Python static-analysis field that includes mypy, Pyright/Pylance, basedpyright, ty, Pyrefly, Jedi, and editor-specific integrations. Its practical pitch is speed plus compatibility rather than a new type system.
The package is designed for developer workstations and editors. The docs cover installation with pip, direct use as zuban check or zuban mypy, the zmypy alias, and configuration for VSCode, Vim, Neovim, Helix, Zed, Emacs, Kate, and Sublime Text.
Command-line users run zuban check for the default mode, zuban mypy or zmypy for mypy-compatible behavior, and zuban server for LSP integration. Configuration is read from pyproject.toml and mypy.ini, including [tool.zuban], [tool.mypy], mypy_path, and many mypy-compatible options.
Editor users configure the zuban or zubanls command as a Python language server. The docs describe LSP initialization options such as typeCheckingMode, disableLanguageServices, diagnosticMode, and pythonExecutable.
Zuban is package-nerd significant because it shows the current packaging shape of Python tooling: a Rust implementation shipped as a Python-installable command, exposing both CLI and editor-server workflows, while reading existing Python project config files.
It also represents the modern pressure on language tooling packages to be drop-in enough for existing mypy users while fast enough to compete with native editor language servers.
security posture
broad file, network, media, or database tool signal.
blue risk · medium confidence · tool
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
local files
These source-backed paths show where this package keeps local settings or durable credentials. Automic Vault can use them as review targets for secret scanning, migration, and command approval.
Config paths the tool may read or write during local use.
pyproject.tomlmypy.iniexecutables
| Command | Kind | Exposure | Note |
|---|---|---|---|
zmypy | cli | global executable | |
zuban | cli | global executable |
freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
https://github.com/zubanls/zuban
install metadata
| Package key | brew:zuban |
|---|---|
| Version | 0.9.0 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/zuban |
| Homepage | https://zubanls.com/ |
| Repository | https://github.com/zubanls/zuban |
| Upstream docs | https://docs.zubanls.com/en/latest |
| License | AGPL-3.0-only |
| Source archive | https://github.com/zubanls/zuban/archive/refs/tags/v0.9.0.tar.gz |
| Last updated | 2026-06-25T11:05:51Z |
| Pulse | updated |
| Build dependencies | rust |
| Bottle | available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | zuban |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
source database matches
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
zuban
nix profile install nixpkgs#zubansource trail
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
View the package source record on GitHub.