--- title: Pyrefly: A Fast Python Type Checker and Language Server... description: daily.dev is the easiest way to stay updated on the latest programming news. Get the best content from the top tech publications on any topic you want. canonical: https://daily.dev/sources/pyrefly twitter:card: summary_large_image twitter:site: @dailydotdev og:url: https://daily.dev/sources/pyrefly og:type: website og:site_name: daily.dev og:title: Pyrefly: A Fast Python Type Checker and Language Server | Pyrefly posts | daily.dev og:description: daily.dev is the easiest way to stay updated on the latest programming news. Get the best content from the top tech publications on any topic you want. og:image: https://api.daily.dev/og/sources/pyrefly.png og:image:width: 1200 og:image:height: 630 ---  # Pyrefly: A Fast Python Type Checker and Language Server | Pyrefly Follow FollowBlock Related tags: [#ai-agents](/tags/ai-agents)[ #ai](/tags/ai)[ #cicd](/tags/cicd)[ #claude-code](/tags/claude-code)[ #rust](/tags/rust)[ #lsp](/tags/lsp) [Posts about ai-agents](/tags/ai-agents)[Posts about ai](/tags/ai)[Posts about cicd](/tags/cicd)[Posts about claude-code](/tags/claude-code)[Posts about rust](/tags/rust)[Posts about lsp](/tags/lsp) [Python Type Checker Comparison: Speed and Memory Usage](/posts/python-type-checker-comparison-speed-and-memory-usage-a1e8zdlov)[Adding Pyrefly Type Checking to Your Agentic Loop](/posts/adding-pyrefly-type-checking-to-your-agentic-loop-nbzpinatv)[Talk: Type Checking in Agentic Workflows](/posts/talk-type-checking-in-agentic-workflows-c6uywhawz)[Python Type Checker Comparison: Empty Container Inference](/posts/python-type-checker-comparison-empty-container-inference-doklgkmap)[Talk: Tensor Shapes in the Type System](/posts/talk-tensor-shapes-in-the-type-system-8rjpqcuuw)[Pyrefly v1.1 is here!](/posts/pyrefly-v1-1-is-here--wozm7rvvb)[How to Support Notebooks in a Language Server](/posts/how-to-support-notebooks-in-a-language-server-vwxf0syy6)[Pyrefly v1.0 is here!](/posts/pyrefly-v1-0-is-here--gikpc6isk)[Making Type Coverage Visible in Dify's CI](/posts/making-type-coverage-visible-in-dify-s-ci-ekirpi3jw)[Right Types, Wrong Code: Surprising Bugs A Type Checker Catches](/posts/right-types-wrong-code-surprising-bugs-a-type-checker-catches-ruaaridrd) ## Most upvoted posts from Pyrefly: A Fast Python Type Checker and Language Server | Pyrefly ## Best discussed posts from Pyrefly: A Fast Python Type Checker and Language Server | Pyrefly ## All posts from Pyrefly: A Fast Python Type Checker and Language Server | Pyrefly ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/sources/pyrefly#organization","name":"Pyrefly: A Fast Python Type Checker and Language Server | Pyrefly","url":"https://daily.dev/sources/pyrefly","logo":{"@type":"ImageObject","url":"https://media.daily.dev/image/upload/s--Qzw5NpnF--/c_limit,w_256/f_auto,q_auto/v1787487420/logos/pyrefly?_a=BAMAMicg0"}},{"@type":"CollectionPage","@id":"https://daily.dev/sources/pyrefly#page","url":"https://daily.dev/sources/pyrefly","name":"Pyrefly: A Fast Python Type Checker and Language Server | Pyrefly posts on daily.dev","about":{"@id":"https://daily.dev/sources/pyrefly#organization"},"isPartOf":{"@type":"WebSite","url":"https://daily.dev"}},{"@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Sources","item":"https://daily.dev/sources"},{"@type":"ListItem","position":3,"name":"Pyrefly: A Fast Python Type Checker and Language Server | Pyrefly"}]}]} ```