Skip to content
Stork.AIstork.ai
Herramienta de IA

Revisión de Pyrefly

Pyrefly es un verificador de tipos rápido y un servidor de lenguaje para Python con potentes características de IDE para código fiable y mantenible.

shipped 2 abr 2026updated 27 may 2026aifreemium
ai
Pyrefly - AI tool for pyrefly. Professional illustration showing core functionality and features.

Por qué importa

1Desarrollado por Meta, Pyrefly está escrito en Rust para mejoras significativas de velocidad sobre los verificadores de tipos basados en Python.
2Es capaz de verificar hasta 1.8 millones de líneas de código por segundo.
3Pyrefly verifica los tipos del repositorio de PyTorch en 5.5 segundos (versión 44.1), significativamente más rápido que los 50.6 segundos de MyPy.
4La herramienta alcanzó el estado Beta en noviembre de 2025, introduciendo características como la refactorización automática de importaciones y el soporte para Jupyter Notebook.

Stork’s verdict on Pyrefly

Pyrefly ofrece una verificación de tipo estática rápida para grandes proyectos Python, pero su anuncio en fase alfa en mayo de 2025 significa que aún no ha sido lanzado.

Pyrefly reviewed by Stork AI · stork.ai/es/pyrefly

Especificaciones

Documentación API

Ver documentación →

GitHub

Ver repositorio →

API disponible

Sí, API pública

overview

¿Qué es Pyrefly?

Pyrefly es una herramienta de verificación de tipos estática y un servidor de lenguaje desarrollado por Meta que permite a los desarrolladores de Python detectar errores relacionados con tipos antes del tiempo de ejecución. Proporciona potentes características de IDE para mejorar la experiencia del desarrollador y la calidad del código. Escrito en Rust, Pyrefly logra mejoras significativas de velocidad sobre los verificadores de tipos anteriores basados en Python, siendo capaz de analizar hasta 1.8 millones de líneas de código por segundo. Está diseñado para un alto rendimiento en bases de código de todos los tamaños, habiendo sido probado en Meta para aplicaciones como Instagram y PyTorch. Pyrefly funciona tanto como una herramienta de línea de comandos como un servidor de lenguaje integrado, ofreciendo una rica experiencia de Entorno de Desarrollo Integrado (IDE).

features

Características Clave de Pyrefly

Pyrefly integra análisis estático avanzado con capacidades completas de servidor de lenguaje para proporcionar un entorno de desarrollo robusto para Python. Su diseño central en Rust garantiza un alto rendimiento y capacidad de respuesta, particularmente beneficioso para proyectos a gran escala.

  • Verificación de tipos estática rápida para código Python, identificando errores relacionados con tipos antes del tiempo de ejecución.
  • Implementación completa del protocolo de servidor de lenguaje, ofreciendo ricas características de IDE.
  • Capacidades de navegación de código, incluyendo ir a definición.
  • Resaltado semántico para una mejor legibilidad del código.
  • Sugerencias inteligentes de autocompletado de código.
  • Información al pasar el ratón para acceso rápido a detalles de tipo y documentación.
  • Capacidades avanzadas de refactorización, como la refactorización automática de importaciones.
  • Soporte para diagnósticos y características de lenguaje de Jupyter Notebook.
  • Stubs de terceros incluidos para mejorar la verificación de tipos para bibliotecas externas.
  • Alto rendimiento en grandes bases de código, procesando hasta 1.8 millones de líneas de código por segundo.

use cases

¿Quién debería usar Pyrefly?

Pyrefly está diseñado para desarrolladores y equipos de Python que priorizan la calidad del código, la mantenibilidad y la experiencia del desarrollador, especialmente en proyectos complejos y a gran escala.

  • Desarrolladores de Python que buscan detectar errores relacionados con tipos temprano durante los ciclos de desarrollo.
  • Equipos que colaboran en grandes bases de código de producción que requieren una mejor calidad y legibilidad del código a través de anotaciones de tipo robustas.
  • Usuarios de IDEs y editores como VSCode, Neovim y Zed que se benefician de características avanzadas del servidor de lenguaje como la navegación de código y el autocompletado.
  • Desarrolladores que trabajan en bibliotecas y frameworks de AI/ML, ejemplificado por su adopción en PyTorch, para asegurar la consistencia de tipos y permitir una refactorización más segura.

pricing

Precios y Planes de Pyrefly

Pyrefly es un proyecto de código abierto desarrollado por Meta, disponible en GitHub. Se proporciona de forma gratuita, con su funcionalidad principal y código fuente accesibles al público. No hay niveles de pago explícitos ni planes de suscripción asociados con la oferta actual de Pyrefly.

Herramientas similares

Pyrefly vs Competidores

Pyrefly se posiciona como un verificador de tipos y servidor de lenguaje de Python de próxima generación, construido en Rust para superar las limitaciones de rendimiento de herramientas más antiguas basadas en Python. Su objetivo es proporcionar una experiencia de desarrollo más rápida e integrada.

1
MyPyOn StorkCompare

MyPy is the foundational and most widely adopted static type checker for Python, setting the standard for type hint enforcement.

MyPy focuses purely on static type checking, providing robust error detection for type-related issues. Pyrefly combines type checking with language server features for a more integrated IDE experience, and both are open-source and free.

2
Pylance↗

Developed by Microsoft, Pylance provides rich language server features and fast, accurate type checking specifically for VS Code users.

Pylance is tightly integrated with VS Code, offering a comprehensive language server experience including type checking. Pyrefly aims to be a fast, standalone language server and type checker for Python, potentially with broader IDE compatibility, and both are free.

3
PyrightOn StorkCompare

Pyright is Microsoft's fast, standards-compliant static type checker for large Python codebases, serving as the core type-checking engine for Pylance.

Pyright is a dedicated type checker, known for its speed and strictness, and it powers Pylance's type checking. Pyrefly integrates type checking within a broader language server context, aiming for a fast, comprehensive IDE experience, and both are free.

4
RuffOn StorkCompare

Ruff is an extremely fast Python linter and formatter written in Rust, designed to replace many existing tools with a single, high-performance solution.

Ruff primarily focuses on linting and formatting, with capabilities to identify code quality issues that can indirectly relate to type problems. Pyrefly is specifically a type checker and language server, directly targeting type-related errors and powerful IDE features, and both are free and open-source.

5
SourceryOn StorkCompare

Sourcery is an AI-powered coding assistant that provides real-time refactoring suggestions and identifies code quality issues to improve Python code.

Sourcery uses AI to suggest code improvements and identify potential issues, which can include type-related problems indirectly through code quality. Pyrefly is a dedicated type checker and language server, focusing directly on catching type errors before runtime with powerful IDE features. Both Sourcery and Pyrefly offer a freemium model.

Visitar Pyrefly↗
Conectar
⌘
GitHubgithub.com/facebook/pyrefly
💬
Discorddiscord.gg/Cf7mFQtW7W

AI Reputation Report

Is Pyrefly yours?

ChatGPT, Perplexity, Gemini, Claude & Grok answer buyer questions about Pyrefly every day. See whether they name Pyrefly — or send buyers to a rival.

See what AI saysfree preview

Featured in articles