Zuban — ZedExt

Zuban Extension for Zed

Adds the option to use Zuban as a Language Server in Zed. Zuban is a static type checker, and server made by David Halter.

Setup

Install Zuban

Zuban must be installed and discoverable in $PATH in order for the extension to find it. There are several ways to acomplish this.

uv tool install zuban

pipx install zuban

Install the extension

Search for the extension Zuban in Zed catalog and click install.

Enable

Modify your local editor configuration to load zuban as the language server for Python. Is not needed but is recommended to disabled other language servers like pyright or pylsp to avoid duplicated entries.

{
  "languages": {
    "Python": {
      "language_servers": ["zuban", "!pyright", "!pylsp"]
    }
  }
}

Configuration

Zuban supports configuration via pyproject.toml or mypy.ini. To use with virtual environments, set the python_executable option in the configuration.

[tool.zuban]
python_executable=".venv/bin/python"
strict = true
disallow_untyped_defs = true
warn_unreachable = true

Learn more about at:

Zuban
MyPy