blob: 009aaa1b3f7aca3d99db42e64a948d6ed12ed30a [file] [edit]
<!doctype html>
<html lang="en" dir="ltr" class="plugin-pages plugin-id-default" data-has-hydrated="false">
<head>
<meta charset="UTF-8">
<meta name="generator" content="Docusaurus v3.7.0">
<title data-rh="true">Pyrefly: A Fast Python Type Checker and Language Server | Pyrefly</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:url" content="https://pyrefly.org/"><meta data-rh="true" property="og:locale" content="en"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docusaurus_tag" content="default"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docsearch:docusaurus_tag" content="default"><meta data-rh="true" property="og:title" content="Pyrefly: A Fast Python Type Checker and Language Server | Pyrefly"><link data-rh="true" rel="canonical" href="https://pyrefly.org/"><link data-rh="true" rel="alternate" href="https://pyrefly.org/" hreflang="en"><link data-rh="true" rel="alternate" href="https://pyrefly.org/" hreflang="x-default"><script data-rh="true">function insertBanner(){var n=document.createElement("div");n.id="__docusaurus-base-url-issue-banner-container";n.innerHTML='\n<div id="__docusaurus-base-url-issue-banner" style="border: thick solid red; background-color: rgb(255, 230, 179); margin: 20px; padding: 20px; font-size: 20px;">\n <p style="font-weight: bold; font-size: 30px;">Your Docusaurus site did not load properly.</p>\n <p>A very common reason is a wrong site <a href="https://docusaurus.io/docs/docusaurus.config.js/#baseUrl" style="font-weight: bold;">baseUrl configuration</a>.</p>\n <p>Current configured baseUrl = <span style="font-weight: bold; color: red;">/</span> (default value)</p>\n <p>We suggest trying baseUrl = <span id="__docusaurus-base-url-issue-banner-suggestion-container" style="font-weight: bold; color: green;"></span></p>\n</div>\n',document.body.prepend(n);var e=document.getElementById("__docusaurus-base-url-issue-banner-suggestion-container"),s=window.location.pathname,o="/"===s.substr(-1)?s:s+"/";e.innerHTML=o}document.addEventListener("DOMContentLoaded",(function(){void 0===window.docusaurus&&insertBanner()}))</script><link rel="alternate" type="application/rss+xml" href="/blog/rss.xml" title="Pyrefly RSS Feed">
<link rel="alternate" type="application/atom+xml" href="/blog/atom.xml" title="Pyrefly Atom Feed">
<link rel="preconnect" href="https://www.google-analytics.com">
<link rel="preconnect" href="https://www.googletagmanager.com">
<script async src="https://www.googletagmanager.com/gtag/js?id=G-GSX14JC495"></script>
<script>function gtag(){dataLayer.push(arguments)}window.dataLayer=window.dataLayer||[],gtag("js",new Date),gtag("config","G-GSX14JC495",{anonymize_ip:!0})</script>
<link rel="stylesheet" href="/stylex.css">
<link rel="icon" href="/img/Pyrefly-Symbol.svg" type="image/svg" sizes="32x32" media="(prefers-color-scheme: light)">
<link rel="icon" href="/img/Pyrefly-Symbol-Invert.svg" type="image/svg" sizes="32x32" media="(prefers-color-scheme: dark)">
<meta property="og:image" content="/img/Pyrefly-Preview-Symbol.png">
<meta property="og:image:width" content="1200">
<meta property="og:image:height" content="630">
<meta property="og:image:type" content="image/png">
<link rel="api-catalog" href="/.well-known/api-catalog" type="application/linkset+json">
<link rel="alternate" type="text/plain" href="/llms.txt" title="LLM-friendly documentation index">
<link rel="alternate" type="text/plain" href="/llms-full.txt" title="Complete documentation content">
<link rel="agent-skills" href="/.well-known/agent-skills/index.json" type="application/json">
<link rel="stylesheet" href="/css/code-block-buttons.css">
<script src="https://buttons.github.io/buttons.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/clipboard.js/2.0.0/clipboard.min.js"></script>
<script src="/js/code-block-buttons.js"></script>
<script src="/js/gtag-fragment-tracking.js"></script><link rel="stylesheet" href="/assets/css/styles.eb8d0bd5.css">
<script src="/assets/js/runtime~main.f4e774ad.js" defer="defer"></script>
<script src="/assets/js/main.73583540.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
<script>!function(){function t(t){document.documentElement.setAttribute("data-theme",t)}var e=function(){try{return new URLSearchParams(window.location.search).get("docusaurus-theme")}catch(t){}}()||function(){try{return window.localStorage.getItem("theme")}catch(t){}}();t(null!==e?e:"dark")}(),function(){try{const n=new URLSearchParams(window.location.search).entries();for(var[t,e]of n)if(t.startsWith("docusaurus-data-")){var a=t.replace("docusaurus-data-","data-");document.documentElement.setAttribute(a,e)}}catch(t){}}()</script>
<div style="display: none; text-align: center; background-color: white; color: black;" id="internaldocs-banner"></div><div id="__docusaurus"><div role="region" aria-label="Skip to main content"><a class="skipToContent_fXgn" href="#__docusaurus_skipToContent_fallback">Skip to main content</a></div><nav aria-label="Main" class="navbar navbar--fixed-top"><div class="navbar__inner"><div class="navbar__items"><button aria-label="Toggle navigation bar" aria-expanded="false" class="navbar__toggle clean-btn" type="button"><svg width="30" height="30" viewBox="0 0 30 30" aria-hidden="true"><path stroke="currentColor" stroke-linecap="round" stroke-miterlimit="10" stroke-width="2" d="M4 7h22M4 15h22M4 23h22"></path></svg></button><a class="navbar__brand" href="/"><div class="navbar__logo"><img src="/img/Pyrefly-Symbol.svg" alt="Pyrefly Logo" class="themedComponent_mlkZ themedComponent--light_NVdE" height="24" width="24"><img src="/img/Pyrefly-Symbol-Invert.svg" alt="Pyrefly Logo" class="themedComponent_mlkZ themedComponent--dark_xIcU" height="24" width="24"></div><b class="navbar__title text--truncate">Pyrefly</b></a><a class="navbar__item navbar__link" href="/en/docs/">Docs</a><a class="navbar__item navbar__link" href="/en/docs/typing-for-python-developers/">Learn</a><a class="navbar__item navbar__link" href="/sandbox/">Sandbox</a><a class="navbar__item navbar__link" href="/en/docs/installation/">Install</a><a class="navbar__item navbar__link" href="/blog/">Blog</a></div><div class="navbar__items navbar__items--right"><a href="https://github.com/facebook/pyrefly" target="_blank" rel="noopener noreferrer" class="navbar__item navbar__link navbar__icon github__link" aria-label="GitHub"></a><a href="https://discord.gg/Cf7mFQtW7W" target="_blank" rel="noopener noreferrer" class="navbar__item navbar__link navbar__icon discord__link" aria-label="Discord"></a><div class="toggle_vylO colorModeToggle_DEke"><button class="clean-btn toggleButton_gllP toggleButtonDisabled_aARS" type="button" disabled="" title="Switch between dark and light mode (currently dark mode)" aria-label="Switch between dark and light mode (currently dark mode)" aria-live="polite" aria-pressed="true"><svg viewBox="0 0 24 24" width="24" height="24" class="lightToggleIcon_pyhR"><path fill="currentColor" d="M12,9c1.65,0,3,1.35,3,3s-1.35,3-3,3s-3-1.35-3-3S10.35,9,12,9 M12,7c-2.76,0-5,2.24-5,5s2.24,5,5,5s5-2.24,5-5 S14.76,7,12,7L12,7z M2,13l2,0c0.55,0,1-0.45,1-1s-0.45-1-1-1l-2,0c-0.55,0-1,0.45-1,1S1.45,13,2,13z M20,13l2,0c0.55,0,1-0.45,1-1 s-0.45-1-1-1l-2,0c-0.55,0-1,0.45-1,1S19.45,13,20,13z M11,2v2c0,0.55,0.45,1,1,1s1-0.45,1-1V2c0-0.55-0.45-1-1-1S11,1.45,11,2z M11,20v2c0,0.55,0.45,1,1,1s1-0.45,1-1v-2c0-0.55-0.45-1-1-1C11.45,19,11,19.45,11,20z M5.99,4.58c-0.39-0.39-1.03-0.39-1.41,0 c-0.39,0.39-0.39,1.03,0,1.41l1.06,1.06c0.39,0.39,1.03,0.39,1.41,0s0.39-1.03,0-1.41L5.99,4.58z M18.36,16.95 c-0.39-0.39-1.03-0.39-1.41,0c-0.39,0.39-0.39,1.03,0,1.41l1.06,1.06c0.39,0.39,1.03,0.39,1.41,0c0.39-0.39,0.39-1.03,0-1.41 L18.36,16.95z M19.42,5.99c0.39-0.39,0.39-1.03,0-1.41c-0.39-0.39-1.03-0.39-1.41,0l-1.06,1.06c-0.39,0.39-0.39,1.03,0,1.41 s1.03,0.39,1.41,0L19.42,5.99z M7.05,18.36c0.39-0.39,0.39-1.03,0-1.41c-0.39-0.39-1.03-0.39-1.41,0l-1.06,1.06 c-0.39,0.39-0.39,1.03,0,1.41s1.03,0.39,1.41,0L7.05,18.36z"></path></svg><svg viewBox="0 0 24 24" width="24" height="24" class="darkToggleIcon_wfgR"><path fill="currentColor" d="M9.37,5.51C9.19,6.15,9.1,6.82,9.1,7.5c0,4.08,3.32,7.4,7.4,7.4c0.68,0,1.35-0.09,1.99-0.27C17.45,17.19,14.93,19,12,19 c-3.86,0-7-3.14-7-7C5,9.07,6.81,6.55,9.37,5.51z M12,3c-4.97,0-9,4.03-9,9s4.03,9,9,9s9-4.03,9-9c0-0.46-0.04-0.92-0.1-1.36 c-0.98,1.37-2.58,2.26-4.4,2.26c-2.98,0-5.4-2.42-5.4-5.4c0-1.81,0.89-3.42,2.26-4.4C12.92,3.04,12.46,3,12,3L12,3z"></path></svg></button></div><div class="navbarSearchContainer_Bca1"><div class="navbar__search"><span aria-label="expand searchbar" role="button" class="search-icon" tabindex="0"></span><input id="search_input_react" type="search" placeholder="Loading..." aria-label="Search" class="navbar__search-input search-bar" disabled=""></div></div></div></div><div role="presentation" class="navbar-sidebar__backdrop"></div></nav><div id="__docusaurus_skipToContent_fallback" class="main-wrapper mainWrapper_z2l0"><div class="x78zum5 x6s0dn4 x1qughib x1ifpib x1wxaq2x xh8yej3 x1n2onr6 x10gahu4 x1j61zf2 x37zpob x19fix8x x150bn4r xjcp5du"><div class="x78zum5 x6s0dn4 xou54vl x98rzlu x1a02dak"><span class="x1ghz6dp xw1mzvt">🐍 The Python Type System &amp; Tooling Survey 2026 is live!</span><div class="x78zum5 x6s0dn4 x1v2ro7d x1a02dak"><button class="x1aggpsn x12oqio5 x18zzzau xjbqb8w x1heor9g x117nqv4 x1ypdohk x4z9k3i x169l3ba x1vm225t x14ow2ja x3kbueh">Take the survey (5 min)</button></div></div><button class="x11g6tue x1gs6z28 x1heor9g x1ypdohk x1j61zf2 x117nqv4 xdqdrvq x1tpqehw x16rqkct xgd8bvy x1fgtraw x78zum5 x6s0dn4 xl56j7k x169l3ba x1vm225t" aria-label="Dismiss banner"></button></div><section id="header-section" class="x78zum5 xdt5ytf xl56j7k x6s0dn4 x98rzlu x1n2onr6 x1ybamxr x9i3lb7 xfd2sqk"><div class="container"><header class="xh8yej3 x5yr21d xb3r6kr x1eqz52 xiuzu7u xvmahel x8x9d4c xack27t x1159mfc"><div style="opacity:0"><section class="x78zum5 xl56j7k x6s0dn4 xhbfen4 x1h5j8bw"><img src="/img/Pyrefly-Brandmark.svg" alt="Pyrefly Logo" class="xpyat2d xg01cxk xj2j9hd xuv7h9n x1jpgh95 x1p40xyo themedComponent_mlkZ themedComponent--light_NVdE"><img src="/img/Pyrefly-Brandmark-Invert.svg" alt="Pyrefly Logo" class="xpyat2d xg01cxk xj2j9hd xuv7h9n x1jpgh95 x1p40xyo themedComponent_mlkZ themedComponent--dark_xIcU"></section></div><div style="opacity:0"><p class="x2b8uid xyi6m4r xg01cxk x1wd8k3y xxmaaxk x1jpgh95 x1ho0ttd x1qf6e5x"><span>A fast type checker and language server for Python with powerful IDE features</span></p></div><div style="opacity:0"><section class="x78zum5 xdt5ytf x6s0dn4 xl56j7k xq7u8qf xh8yej3 x11gisft x8x9d4c xack27t xg01cxk xh3jouh x1b6s2ha x1jpgh95 x1p40xyo"><div class="xh8yej3 x78zum5 xdt5ytf x6s0dn4 xl56j7k x1jpgh95 x1p40xyo x1ojkfpl x1hc1fzr x1ihime0 xapusii"><pre class="xznfmru xgv0goc xrrrfcd x1sxouoy xmx98tf x5yr21d x78zum5 xdt5ytf x1dti6c x11qee0y x11gisft xh8yej3 x12oqio5 xiuzu7u x1crhz8b x1anpbxc x1n2onr6 x126k92a xj0a0fe x1jchvi3"><code><span class="x87ps6o">$ </span>pip install pyrefly &amp;&amp; pyrefly init</code><button class="x10l6tqk xndqk7f x1pzoy33 x1gs6z28 xjbqb8w xiuzu7u x1277o0a" title="Copy to clipboard"><svg width="20" height="20" viewBox="340 364 14 15" xmlns="http://www.w3.org/2000/svg"><path fill="currentColor" d="M342 375.974h4v.998h-4v-.998zm5-5.987h-5v.998h5v-.998zm2 2.994v-1.995l-3 2.993 3 2.994v-1.996h5v-1.995h-5zm-4.5-.997H342v.998h2.5v-.997zm-2.5 2.993h2.5v-.998H342v.998zm9 .998h1v1.996c-.016.28-.11.514-.297.702-.187.187-.422.28-.703.296h-10c-.547 0-1-.452-1-.998v-10.976c0-.546.453-.998 1-.998h3c0-1.107.89-1.996 2-1.996 1.11 0 2 .89 2 1.996h3c.547 0 1 .452 1 .998v4.99h-1v-2.995h-10v8.98h10v-1.996zm-9-7.983h8c0-.544-.453-.996-1-.996h-1c-.547 0-1-.453-1-.998 0-.546-.453-.998-1-.998-.547 0-1 .452-1 .998 0 .545-.453.998-1 .998h-1c-.547 0-1 .452-1 .997z" fill-rule="evenodd"></path></svg></button></pre></div><div class="x78zum5 x1q0g3np x1a02dak x883omv xh8yej3 x1anpbxc"><a href="https://marketplace.visualstudio.com/items?itemName=meta.pyrefly" target="_blank" class="xsdi4jd x174zr50 x12oqio5 x1ilz85p x19fix8x x150bn4r x117nqv4 x1ypdohk x1ng1d19 x2b8uid x14m1sg7 xcs2p6m x14ow2ja x1jchvi3">Get VSCode Extension</a><a href="https://open-vsx.org/extension/meta/pyrefly" target="_blank" class="xsdi4jd x174zr50 x12oqio5 x1ilz85p xjbqb8w xiuzu7u x117nqv4 x1ypdohk x1ng1d19 x2b8uid x10fs14w xcs2p6m x14ow2ja x1jchvi3">Get OpenVSX Extension</a></div></section></div><section><li id="firefly" class="x3ct3a4 x16rqkct x19fix8x x170jfvy x1fsd2vl xg01cxk x10l6tqk x15sbw6u x4rx2xt x470at9 xzhg0zl xvxyf3w x1sqp6r9 x1sqc0ei xh8hsg6 x6207ys"></li><li id="firefly" class="x3ct3a4 x16rqkct x19fix8x x170jfvy x1fsd2vl xg01cxk x10l6tqk x15sbw6u x4rx2xt x470at9 xzhg0zl xvxyf3w x1sqp6r9 x1sqc0ei xh8hsg6 x6207ys"></li><li id="firefly" class="x3ct3a4 x16rqkct x19fix8x x170jfvy x1fsd2vl xg01cxk x10l6tqk x15sbw6u x4rx2xt x470at9 xzhg0zl xvxyf3w x1sqp6r9 x1sqc0ei xh8hsg6 x6207ys"></li><li id="firefly" class="x3ct3a4 x16rqkct x19fix8x x170jfvy x1fsd2vl xg01cxk x10l6tqk x15sbw6u x4rx2xt x470at9 xzhg0zl xvxyf3w x1sqp6r9 x1sqc0ei xh8hsg6 x6207ys"></li><li id="firefly" class="x3ct3a4 x16rqkct x19fix8x x170jfvy x1fsd2vl xg01cxk x10l6tqk x15sbw6u x4rx2xt x470at9 xzhg0zl xvxyf3w x1sqp6r9 x1sqc0ei xh8hsg6 x6207ys"></li></section></header></div></section><section id="why-pyrefly-section" class="x78zum5 xdt5ytf xl56j7k x6s0dn4 x98rzlu x1n2onr6 x1ybamxr x9i3lb7"><div class="container"><div style="opacity:0"><div class="x1n2onr6 x6gltce x17r0vjz xn9wirt x1ilyk1c xw4edqq xg01cxk x1wd8k3y x1w2xznu xmx98tf"><div class="xrvj5dj xl501l6 xru8eyw x1n2onr6 xhtitgo x9hwn5b"><div style="opacity:0"><div class="x1blgzdm xznfmru xgv0goc xur7f20 xrrrfcd x1sxouoy xmx98tf x5yr21d x78zum5 xdt5ytf x1dti6c x11qee0y xo6ye5u xg01cxk xh3jouh x1ypdohk" style="transition-delay:0s" tabindex="0" role="link"><h3 class="x1os0d8i x1xlr1w8 x1gr9t9r xiuzu7u">Scale with Confidence</h3><p class="x1jchvi3 x1dbl2gt xat24cr x98rzlu xiuzu7u">Type check over 1.85 million lines of code<!-- --> <span class="xuxw1ft x1rg5ohu">per second.<sup class="xip9h3s"><span class="x1n2onr6 x1rg5ohu xet2fuk"><span class="xfifm61 xiuzu7u x1146j2 xxymvpz"></span><span class="xlshs6z x1ebloo xiuzu7u x2b8uid x1kogg8i x153ncpu xo0htta x10l6tqk x1vjfegm x1a58ea2 x1nrll8i xuuh30 xdzyupr xg01cxk x177bw73 xeaf4i8 x1vvkbs x1jchvi3">Tested using Meta infrastructure (166 cores, 228 GB RAM)</span></span></sup></span></p><span class="x14qql8p xyr29y3 x1s688f x1mjqqkp xacv6rt x1rg5ohu"></span></div></div><div style="opacity:0"><div class="x1blgzdm xznfmru xgv0goc xur7f20 xrrrfcd x1sxouoy xmx98tf x5yr21d x78zum5 xdt5ytf x1dti6c x11qee0y xo6ye5u xg01cxk xh3jouh x1ypdohk" style="transition-delay:0.05s" tabindex="0" role="link"><h3 class="x1os0d8i x1xlr1w8 x1gr9t9r xiuzu7u">Developer Delight</h3><p class="x1jchvi3 x1dbl2gt xat24cr x98rzlu xiuzu7u">Get lightning fast autocomplete, and catch errors with instant feedback in your favorite editor.</p><span class="x14qql8p xyr29y3 x1s688f x1mjqqkp xacv6rt x1rg5ohu"></span></div></div><div style="opacity:0"><div class="x1blgzdm xznfmru xgv0goc xur7f20 xrrrfcd x1sxouoy xmx98tf x5yr21d x78zum5 xdt5ytf x1dti6c x11qee0y xo6ye5u xg01cxk xh3jouh x1ypdohk" style="transition-delay:0.1s" tabindex="0" role="link"><h3 class="x1os0d8i x1xlr1w8 x1gr9t9r xiuzu7u">Verify AI-written Python</h3><p class="x1jchvi3 x1dbl2gt xat24cr x98rzlu xiuzu7u">Catch type bugs in code your AI agent writes</p><span class="x14qql8p xyr29y3 x1s688f x1mjqqkp xacv6rt x1rg5ohu">read the blog →</span></div></div><div style="opacity:0"><div class="x1blgzdm xznfmru xgv0goc xur7f20 xrrrfcd x1sxouoy xmx98tf x5yr21d x78zum5 xdt5ytf x1dti6c x11qee0y xo6ye5u xg01cxk xh3jouh" style="transition-delay:0.15000000000000002s"><h3 class="x1os0d8i x1xlr1w8 x1gr9t9r xiuzu7u">Support at your Fingertips</h3><p class="x1jchvi3 x1dbl2gt xat24cr x98rzlu xiuzu7u">Have questions or feedback to share? Connect with us!</p><a href="https://discord.gg/Cf7mFQtW7W" target="_blank" class="x14qql8p xyr29y3 x1s688f x1mjqqkp xacv6rt x1rg5ohu">Join our Discord →</a></div></div></div><section class="x10l6tqk x13vifvy xu96u03 xh8yej3 x5yr21d x1vjfegm xb3r6kr"><li id="firefly" class="x3ct3a4 x16rqkct x19fix8x x170jfvy x1fsd2vl xg01cxk x10l6tqk x15sbw6u x4rx2xt x470at9 xzhg0zl xvxyf3w x1sqp6r9 x1sqc0ei xh8hsg6 x6207ys"></li><li id="firefly" class="x3ct3a4 x16rqkct x19fix8x x170jfvy x1fsd2vl xg01cxk x10l6tqk x15sbw6u x4rx2xt x470at9 xzhg0zl xvxyf3w x1sqp6r9 x1sqc0ei xh8hsg6 x6207ys"></li><li id="firefly" class="x3ct3a4 x16rqkct x19fix8x x170jfvy x1fsd2vl xg01cxk x10l6tqk x15sbw6u x4rx2xt x470at9 xzhg0zl xvxyf3w x1sqp6r9 x1sqc0ei xh8hsg6 x6207ys"></li></section></div></div></div></section><section id="performance-comparison-section" class="x78zum5 xdt5ytf xl56j7k x6s0dn4 x98rzlu x1n2onr6 x1ybamxr x9i3lb7"><div class="container"><div style="opacity:0"><h2 class="x1cl2iem xiuzu7u xab5occ xg01cxk x1qgin71 xg9xeqz x1pjroqt">Performance Comparison</h2></div><div style="opacity:0"><div class="xznfmru xgv0goc xur7f20 xrrrfcd x1sxouoy x5yr21d x78zum5 xdt5ytf x1dti6c x1blgzdm x1cqdni5 xg01cxk x1wd8k3y x1w2xznu xmx98tf"><div class="x78zum5 xl56j7k x8fetqu x1t84w78 xg01cxk xg9xeqz x10a5xub"><button class="xznfmru xgv0goc xur7f20 xrrrfcd x1sxouoy xmx98tf x5yr21d x78zum5 xdt5ytf x1dti6c x11qee0y x174zr50 x1ypdohk x1neyzuf x1jchvi3 x18t7k3x x14qql8p">PyTorch</button><button class="xznfmru xgv0goc xur7f20 xrrrfcd x1sxouoy xmx98tf x5yr21d x78zum5 xdt5ytf x1dti6c x11qee0y x174zr50 x18t7k3x xiuzu7u x1ypdohk x1neyzuf x1jchvi3">Instagram</button></div><div class="xnxx81d xg01cxk xg9xeqz x10a5xub"><div class="x17r0vjz x1os0d8i">Type checking the<!-- --> <a href="https://github.com/pytorch/pytorch" target="_blank" rel="noopener noreferrer" class="x14qql8p xltytc8">PyTorch</a> <!-- -->codebase from scratch.<span class="x1n2onr6 x1rg5ohu xet2fuk"><span class="xfifm61 xiuzu7u x1146j2 xxymvpz"></span><span class="xlshs6z x1ebloo xiuzu7u x2b8uid x1kogg8i x153ncpu xo0htta x10l6tqk x1vjfegm x1a58ea2 x1nrll8i xuuh30 xdzyupr xg01cxk x177bw73 xeaf4i8 x1vvkbs x1jchvi3"><strong>Tested using Macbook</strong><br>(10 cores: 8 performance + 2 efficiency cores, 32 GB RAM)</span></span></div><div><div class="x98rzlu x78zum5 x1o3pxnk" style="margin-bottom:20px"><div><div class="x78zum5 x4jci6i xrostsh"><span class="x1rg5ohu xwsyq91"><strong>Pyrefly</strong></span><span class="x1n2onr6 x1rg5ohu xet2fuk"><span class="xfifm61 xiuzu7u x1146j2 xxymvpz"></span><span class="xlshs6z x1ebloo xiuzu7u x2b8uid x1kogg8i x153ncpu xo0htta x10l6tqk x1vjfegm x1a58ea2 x1nrll8i xuuh30 xdzyupr xg01cxk x177bw73 xeaf4i8 x1vvkbs x1jchvi3"><strong>Command: &quot;pyrefly check&quot;</strong><br>Pyrefly uses as many threads as possible</span></span></div></div><div class="x1i0uq9b x78zum5"><div class="x1iyjqo2 x1wh8b8d x1y1aw1k"><div class="xv4ge2a x174e0gf xh8yej3 xb3r6kr" style="height:80%;width:4.827299209321681%"><div class="x5yr21d x1pjcqnp x10e4vud x1esw782 x19fix8x" style="animation-duration:2.32s;width:0%"></div></div></div><span class="x8x9d4c xxsxjwm x1hr2gdg"><strong>0.0s</strong></span></div></div><div class="x98rzlu x78zum5 x1o3pxnk" style="margin-bottom:20px"><div><div class="x78zum5 x4jci6i xrostsh"><span class="x1rg5ohu xwsyq91"><strong>Pyright</strong></span><span class="x1n2onr6 x1rg5ohu xet2fuk"><span class="xfifm61 xiuzu7u x1146j2 xxymvpz"></span><span class="xlshs6z x1ebloo xiuzu7u x2b8uid x1kogg8i x153ncpu xo0htta x10l6tqk x1vjfegm x1a58ea2 x1nrll8i xuuh30 xdzyupr xg01cxk x177bw73 xeaf4i8 x1vvkbs x1jchvi3"><strong>Command: &quot;pyright --threads=8&quot;</strong><br>8 threads yielded the best performance after testing multiple settings</span></span></div></div><div class="x1i0uq9b x78zum5"><div class="x1iyjqo2 x1wh8b8d x1y1aw1k"><div class="xv4ge2a x174e0gf xh8yej3 xb3r6kr" style="height:80%;width:73.1585518102372%"><div class="x5yr21d x1e1ffwq x1pjcqnp x10e4vud x1esw782" style="animation-duration:35.16s;width:0%"></div></div></div><span class="x8x9d4c xxsxjwm x1hr2gdg"><strong>0.0s</strong></span></div></div><div class="x98rzlu x78zum5 x1o3pxnk"><div><div class="x78zum5 x4jci6i xrostsh"><span class="x1rg5ohu xwsyq91"><strong>MyPy</strong></span><span class="x1n2onr6 x1rg5ohu xet2fuk"><span class="xfifm61 xiuzu7u x1146j2 xxymvpz"></span><span class="xlshs6z x1ebloo xiuzu7u x2b8uid x1kogg8i x153ncpu xo0htta x10l6tqk x1vjfegm x1a58ea2 x1nrll8i xuuh30 xdzyupr xg01cxk x177bw73 xeaf4i8 x1vvkbs x1jchvi3"><strong>Command: &quot;dmypy run&quot;</strong></span></span></div></div><div class="x1i0uq9b x78zum5"><div class="x1iyjqo2 x1wh8b8d x1y1aw1k"><div class="xv4ge2a x174e0gf xh8yej3 xb3r6kr" style="height:80%;width:100%"><div class="x5yr21d x1e1ffwq x1pjcqnp x10e4vud x1esw782" style="animation-duration:48.06s;width:0%"></div></div></div><span class="x8x9d4c xxsxjwm x1hr2gdg"><strong>0.0s</strong></span></div></div></div></div></div></div></div></section><section id="pyrefly-video" class="x78zum5 xdt5ytf xl56j7k x6s0dn4 x98rzlu x1n2onr6 x1ybamxr x9i3lb7 x58caik"><div class="container"><div style="opacity:0"><h2 class="x1cl2iem xiuzu7u xab5occ xg01cxk x1qgin71 xg9xeqz x1pjroqt x2b8uid">See Pyrefly in Action</h2></div><div style="opacity:0"><div class="x1blgzdm xznfmru xgv0goc xur7f20 xrrrfcd x1sxouoy x5yr21d x78zum5 xdt5ytf x1dti6c x1ap80js x19bbpc0 x1cqdni5 xg01cxk x1wd8k3y x1w2xznu xmx98tf"><link rel="preload" href="https://i.ytimg.com/vi/LXaFRKrTJVU/maxresdefault.jpg" as="image"><article class="yt-lite" data-title="Introducing Pyrefly: A new type checker and IDE experience for Python" style="background-image:url(https://i.ytimg.com/vi/LXaFRKrTJVU/maxresdefault.jpg);--aspect-ratio:56.25%"><button type="button" class="lty-playbtn" aria-label="Watch Introducing Pyrefly: A new type checker and IDE experience for Python"></button></article></div></div></div></section></div><footer class="footer"><div class="container container-fluid"><div class="row footer__links"><div class="col footer__col"><div class="footer__title">Community &amp; Support</div><ul class="footer__items clean-list"><li class="footer__item"><a href="https://discord.gg/Cf7mFQtW7W" target="_blank" rel="noopener noreferrer" class="footer__link-item">Join Discord<svg width="13.5" height="13.5" aria-hidden="true" viewBox="0 0 24 24" class="iconExternalLink_nPIU"><path fill="currentColor" d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"></path></svg></a></li><li class="footer__item"><a href="https://github.com/facebook/pyrefly" target="_blank" rel="noopener noreferrer" class="footer__link-item">Open a Github issue<svg width="13.5" height="13.5" aria-hidden="true" viewBox="0 0 24 24" class="iconExternalLink_nPIU"><path fill="currentColor" d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"></path></svg></a></li><li class="footer__item"><a href="https://discord.gg/MuFSdD7uCr?event=1389635637090713672" target="_blank" rel="noopener noreferrer" class="footer__link-item">Attend Office Hours<svg width="13.5" height="13.5" aria-hidden="true" viewBox="0 0 24 24" class="iconExternalLink_nPIU"><path fill="currentColor" d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"></path></svg></a></li></ul></div><div class="col footer__col"><div class="footer__title">Follow Us</div><ul class="footer__items clean-list"><li class="footer__item"><a href="https://x.com/pyrefly_dev" target="_blank" rel="noopener noreferrer" class="footer__link-item">X (Twitter)<svg width="13.5" height="13.5" aria-hidden="true" viewBox="0 0 24 24" class="iconExternalLink_nPIU"><path fill="currentColor" d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"></path></svg></a></li><li class="footer__item"><a href="https://bsky.app/profile/pyrefly-dev.bsky.social" target="_blank" rel="noopener noreferrer" class="footer__link-item">Bluesky<svg width="13.5" height="13.5" aria-hidden="true" viewBox="0 0 24 24" class="iconExternalLink_nPIU"><path fill="currentColor" d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"></path></svg></a></li><li class="footer__item"><a href="https://mastodon.social/@pyrefly" target="_blank" rel="noopener noreferrer" class="footer__link-item">Mastodon<svg width="13.5" height="13.5" aria-hidden="true" viewBox="0 0 24 24" class="iconExternalLink_nPIU"><path fill="currentColor" d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"></path></svg></a></li></ul></div><div class="col footer__col"><div class="footer__title">Legal</div><ul class="footer__items clean-list"><li class="footer__item"><a href="https://opensource.facebook.com/legal/privacy/" target="_blank" rel="noopener noreferrer" class="footer__link-item">Privacy<svg width="13.5" height="13.5" aria-hidden="true" viewBox="0 0 24 24" class="iconExternalLink_nPIU"><path fill="currentColor" d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"></path></svg></a></li><li class="footer__item"><a href="https://opensource.facebook.com/legal/terms/" target="_blank" rel="noopener noreferrer" class="footer__link-item">Terms<svg width="13.5" height="13.5" aria-hidden="true" viewBox="0 0 24 24" class="iconExternalLink_nPIU"><path fill="currentColor" d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"></path></svg></a></li><li class="footer__item"><a href="https://opensource.facebook.com/legal/data-policy/" target="_blank" rel="noopener noreferrer" class="footer__link-item">Data Policy<svg width="13.5" height="13.5" aria-hidden="true" viewBox="0 0 24 24" class="iconExternalLink_nPIU"><path fill="currentColor" d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"></path></svg></a></li><li class="footer__item"><a href="https://opensource.facebook.com/legal/cookie-policy/" target="_blank" rel="noopener noreferrer" class="footer__link-item">Cookie Policy<svg width="13.5" height="13.5" aria-hidden="true" viewBox="0 0 24 24" class="iconExternalLink_nPIU"><path fill="currentColor" d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"></path></svg></a></li></ul></div></div><div class="footer__bottom text--center"><div class="footer__copyright">Copyright © 2026 Meta Platforms, Inc. Built with Docusaurus.</div></div></div></footer></div>
</body>
</html>