Skip to content
Stork.AIstork.ai
Ferramenta de IA

Revisão do Pyrefly

Pyrefly é um verificador de tipo rápido e servidor de linguagem para Python com recursos poderosos de IDE para código confiável e de fácil manutenção.

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

Por que importa

1Desenvolvido pela Meta, o Pyrefly é escrito em Rust para melhorias significativas de velocidade em relação aos verificadores de tipo baseados em Python.
2É capaz de verificar até 1,8 milhão de linhas de código por segundo.
3O Pyrefly verifica os tipos do repositório PyTorch em 5,5 segundos (versão 44.1), significativamente mais rápido que os 50,6 segundos do MyPy.
4A ferramenta atingiu o status Beta em novembro de 2025, introduzindo recursos como refatoração automática de importações e suporte para Jupyter Notebook.

Stork’s verdict on Pyrefly

Pyrefly oferece verificação de tipo estática rápida para grandes projetos Python, mas seu anúncio da versão alfa em maio de 2025 significa que ainda não foi lançado.

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

Especificações

Documentação API

Ver documentação →

GitHub

Ver repositório →

API disponível

Sim, API pública

overview

O que é o Pyrefly?

Pyrefly é uma ferramenta de verificação de tipo estático e servidor de linguagem desenvolvida pela Meta que permite aos desenvolvedores Python identificar erros relacionados a tipos antes da execução. Ela oferece recursos poderosos de IDE para aprimorar a experiência do desenvolvedor e melhorar a qualidade do código. Escrito em Rust, o Pyrefly alcança melhorias significativas de velocidade em relação aos verificadores de tipo baseados em Python anteriores, sendo capaz de analisar até 1,8 milhão de linhas de código por segundo. Ele é projetado para alto desempenho em bases de código de todos os tamanhos, tendo sido testado em combate na Meta para aplicações como Instagram e PyTorch. O Pyrefly funciona tanto como uma ferramenta de linha de comando quanto como um servidor de linguagem integrado, oferecendo uma rica experiência de Ambiente de Desenvolvimento Integrado (IDE).

features

Principais Recursos do Pyrefly

O Pyrefly integra análise estática avançada com capacidades abrangentes de servidor de linguagem para fornecer um ambiente de desenvolvimento robusto para Python. Seu design central em Rust garante alto desempenho e responsividade, particularmente benéfico para projetos de grande escala.

  • Verificação rápida de tipo estático para código Python, identificando erros relacionados a tipos antes da execução.
  • Implementação completa do protocolo de servidor de linguagem, oferecendo recursos ricos de IDE.
  • Capacidades de navegação de código, incluindo ir para a definição.
  • Realce semântico para melhor legibilidade do código.
  • Sugestões inteligentes de preenchimento de código.
  • Informações ao passar o mouse para acesso rápido a detalhes de tipo e documentação.
  • Capacidades avançadas de refatoração, como refatoração automática de importações.
  • Suporte para diagnósticos e recursos de linguagem do Jupyter Notebook.
  • Stubs de terceiros empacotados para aprimorar a verificação de tipo para bibliotecas externas.
  • Alto desempenho em grandes bases de código, processando até 1,8 milhão de linhas de código por segundo.

use cases

Quem Deve Usar o Pyrefly?

O Pyrefly é projetado para desenvolvedores e equipes Python que priorizam a qualidade do código, a manutenibilidade e a experiência do desenvolvedor, especialmente em projetos complexos e de grande escala.

  • Desenvolvedores Python que buscam identificar erros relacionados a tipos precocemente durante os ciclos de desenvolvimento.
  • Equipes colaborando em grandes bases de código de produção que exigem melhor qualidade e legibilidade do código através de anotações de tipo robustas.
  • Usuários de IDEs e editores como VSCode, Neovim e Zed que se beneficiam de recursos avançados de servidor de linguagem como navegação de código e autocompletar.
  • Desenvolvedores trabalhando em bibliotecas e frameworks de AI/ML, exemplificado por sua adoção no PyTorch, para garantir a consistência de tipos e permitir refatoração mais segura.

pricing

Preços e Planos do Pyrefly

O Pyrefly é um projeto de código aberto desenvolvido pela Meta, disponível no GitHub. Ele é fornecido gratuitamente, com sua funcionalidade principal e código-fonte acessíveis ao público. Não há níveis pagos explícitos ou planos de assinatura associados à oferta atual do Pyrefly.

Ferramentas similares

Pyrefly vs Concorrentes

O Pyrefly é posicionado como um verificador de tipo e servidor de linguagem Python de próxima geração, construído em Rust para superar as limitações de desempenho de ferramentas mais antigas baseadas em Python. Ele visa proporcionar uma experiência de desenvolvimento mais 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