Automic VaultAutomic Vault

brew

Install zuban with Homebrew, Nix

Python language server and type checker, written in Rust. Version 0.9.0 via Homebrew; verified 2026-06-25.

install

Additional install commands

macOS

Homebrewverified · 100%
brew install zuban

local Homebrew formula metadata

Linux

Nixverified · 92%
nix profile install nixpkgs#zuban

nixpkgs package indexes · pkgs/by-name/zu/zuban/package.nix · source: api.github.com

overview

Package summary

Python language server and type checker, written in Rust

Commands and aliases

  • zmypy
  • zuban

history

Project history and usage

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.

Project history

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.

Adoption history

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.

How it is used

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.

Why package nerds care

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.

Timeline

  • 2012: David Halter created Jedi, the project ZubanLS explicitly cites as its predecessor experience.
  • 2020: Halter began building ZubanLS from the ground up in Rust.
  • 2025-10-10: Zuban 0.1.0 beta release recorded in the changelog.
  • 2026-04-06: Zuban 0.7.0 changed default/mypy mode behavior and improved Django and LSP support.
  • 2026-06-23: Zuban 0.9.0 changelog entry records mode-selection fixes and additional mypy-compatible options.

Related projects

  • Related projects include Jedi, mypy, Pyright, Pylance, basedpyright, ty, Pyrefly, typeshed, Python LSP clients, VSCode, Neovim, Helix, Zed, Emacs, Kate, and Sublime Text.

security posture

Risk level: blue

broad file, network, media, or database tool signal.

Risk classifier

blue risk · medium confidence · tool

Why

  • broad file, network, media, or database tool signal

Signals

  • text:server

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 6 platform targets.
  • Build metadata lists 1 build dependencies.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

local files

Configuration and credential file locations

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.

Configuration files

Config paths the tool may read or write during local use.

Unix
pyproject.tomlmypy.ini

executables

Installed executables

CommandKindExposureNote
zmypycliglobal executable
zubancliglobal executable

freshness

Version and 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.

page generated2026-07-08
manager version0.9.0
manager updated2026-06-25
local dataok
upstreamcurrent
latest detectedv0.9.0

https://github.com/zubanls/zuban

  • okNo freshness warnings were generated.

install metadata

Package metadata

Package keybrew:zuban
Version0.9.0
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/zuban
Homepagehttps://zubanls.com/
Repositoryhttps://github.com/zubanls/zuban
Upstream docshttps://docs.zubanls.com/en/latest
LicenseAGPL-3.0-only
Source archivehttps://github.com/zubanls/zuban/archive/refs/tags/v0.9.0.tar.gz
Last updated2026-06-25T11:05:51Z
Pulseupdated
Build dependenciesrust
Bottleavailable (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namezuban
Version Scheme0
Revision0
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Nix95%

zuban

nix profile install nixpkgs#zuban
  • normalized package name match
  • Matched by: Zuban
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/zu/zuban/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Used sources

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated configuration and credential file locations
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment