Skip to content

add mypy extension#5344

Open
Zenor27 wants to merge 1 commit intozed-industries:mainfrom
Zenor27:main
Open

add mypy extension#5344
Zenor27 wants to merge 1 commit intozed-industries:mainfrom
Zenor27:main

Conversation

@Zenor27
Copy link

@Zenor27 Zenor27 commented Mar 22, 2026

Add mypy typechecker extension for Zed.

  • Uses pygls as a simple LSP (since mypy doesn't have one)
  • Highlight errors in Zed
  • Does not support dmypy (yet)

This is a first version of the extension, and my first extension for Zed.

https://github.com/Zenor27/zed-mypy

@cla-bot
Copy link

cla-bot bot commented Mar 22, 2026

Thank you for your pull request and welcome to our community. We could not parse the GitHub identity of the following contributors: Antoine Montes.
This is most likely caused by a git client misconfiguration; please make sure to:

  1. check if your git client is configured with an email to sign commits git config --list | grep email
  2. If not, set it up using git config --global user.email email@example.com
  3. Make sure that the git commit email is configured in your GitHub account settings, see https://github.com/settings/emails

@cla-bot cla-bot bot added the cla-signed label Mar 22, 2026
@Zenor27 Zenor27 changed the title Add mypy extension add mypy extension Mar 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant