Colección de configuraciones listas para usar del Language Server Protocol que conectan Neovim con numerosos servidores de lenguaje.
14 mil+8 esta semana2,5 milLuaApache-2.0Bien mantenidoActualizado hace 20 horas
- Estrellas
- 7,186
- Forks
- 590
- Issues abiertos
- 589
- Último commit
- hace 20 horas
¿Qué es?
Pyrefly es un verificador de tipos y servidor de lenguaje para Python. Se ejecuta como herramienta de línea de comandos para comprobar errores de tipos en el código, y como extensión para editores como VS Code, Neovim y Zed que ofrece navegación por el código, autocompletado, información al pasar el cursor, sugerencias de tipos en línea y resaltado semántico.
El proyecto prioriza la velocidad en bases de código grandes. Según el README, comprueba PyTorch mucho más rápido que Mypy y Pyright, y las nuevas comprobaciones del IDE se completan en menos de 10 milisegundos después de guardar. Incluye compatibilidad integrada con Pydantic, Django y pytest.
Para proyectos existentes, Pyrefly ofrece comandos para migrar desde Mypy o Pyright (`pyrefly init`), suprimir los errores actuales (`pyrefly suppress`) y generar anotaciones de tipos (`pyrefly infer`), para que los equipos puedan adoptarlo archivo por archivo.
Funciones clave
- 01Comprueba tipos en código Python desde la línea de comandos, con rapidez incluso en proyectos grandes.
- 02El servidor de lenguaje ofrece navegación por el código, autocompletado, información al pasar el cursor y sugerencias de tipos en línea.
- 03Compatibilidad integrada con Pydantic, Django y pytest.
- 04Comandos de migración para proyectos que usan Mypy o Pyright.
- 05Permite suprimir errores existentes e inferir anotaciones de tipos para adoptarlo de forma gradual.
Casos de uso
- Añadir comprobación estática de tipos a una base de código Python grande en CI.
- Obtener autocompletado y navegación que tengan en cuenta los tipos en VS Code, Neovim o Zed.
- Migrar un proyecto desde Mypy o Pyright con mínimas interrupciones.
- Comprobar tipos en proyectos Django o pytest con compatibilidad adaptada a esos frameworks.
Inicio rápido
- 1
Instala la herramienta de línea de comandos con pip
pip install pyrefly - 2
Instala la extensión del IDE desde la página de instalación del IDE
Antes de usarlo
- La política de versiones permite que cualquier lanzamiento, incluidas las versiones de parche, introduzca nuevos errores de tipos y cambios incompatibles.
Temas
#python#type-checker#type-annotations#language-server#lsp#static-analysis#rust#code-quality#ide#language-server-protocol
Preguntas frecuentes
- ¿Qué es pyrefly?
- Un verificador de tipos y servidor de lenguaje para Python, rápido y escrito en Rust, con funciones de IDE como navegación, autocompletado y resaltado semántico. Pyrefly es un verificador de tipos y servidor de lenguaje para Python. Se ejecuta como herramienta de línea de comandos para comprobar errores de tipos en el código, y como extensión para editores como VS Code, Neovim y Zed que ofrece navegación por el código, autocompletado, información al pasar el cursor, sugerencias de tipos en línea y resaltado semántico.
- ¿pyrefly es gratuito? ¿Qué licencia tiene?
- pyrefly es open source bajo la licencia MIT. Revisa los términos de la licencia antes de usarlo en productos comerciales.
- ¿pyrefly sigue mantenido?
- Mantenimiento activo. El último commit de pyrefly fue el 6 nov 2026.
- ¿Para qué puedo usar pyrefly?
- Añadir comprobación estática de tipos a una base de código Python grande en CI. Obtener autocompletado y navegación que tengan en cuenta los tipos en VS Code, Neovim o Zed. Migrar un proyecto desde Mypy o Pyright con mínimas interrupciones. Comprobar tipos en proyectos Django o pytest con compatibilidad adaptada a esos frameworks.
- ¿Cómo se instala pyrefly?
- Instala la herramienta de línea de comandos con pip: pip install pyrefly Instala la extensión del IDE desde la página de instalación del IDE
- ¿Dónde consigo pyrefly?
- El código fuente y las instrucciones de instalación están en GitHub: https://github.com/meta/pyrefly
Resumen generado por IA a partir del README del proyecto. Las estadísticas de GitHub se actualizan a diario.
Proyectos relacionados
Implementación oficial de Elixir Language Server Protocol que ofrece funciones de inteligencia de código para proyectos Elixir en los editores.
2,1 mil121ElixirApache-2.0Bien mantenidoActualizado hace 20 horas
Cliente de Emacs para Language Server Protocol que añade autocompletado, diagnósticos, navegación y refactorización al estilo de un IDE.
5,1 mil+3 esta semana984Emacs LispGPL-3.0Actualizado hace 18 días
Una biblioteca cliente de LSP para Python con la que crear aplicaciones que consultan servidores de lenguaje para obtener definiciones, referencias, información al pasar el cursor y completados.
Herramientas para desarrolladores#lsp#language-server-protocol#code-analysis#python-library#code-completion
615+1 esta semana112PythonMITBien mantenidoActualizado hace 9 días
Un port en Rust del compilador y el servidor de lenguaje de TypeScript 7, como reemplazo directo para la comprobación de tipos y la generación de código.
3 mil+322 esta semana59RustApache-2.0Bien mantenidoActualizado hace 20 horas
Un port experimental en Rust del compilador TypeScript 7 (tsc), con la misma CLI, el mismo servidor de lenguaje y la misma API, además de diagnósticos de Effect integrados.
1,6 mil+64 esta semana109RustMITBien mantenidoActualizado hace 10 días