Unverified50% confidenceFactExact time
Pyrefly is a Python static type checker created by Meta by rewriting its former OCaml-based type checker Pyre in Rust.
1
Sources
50%
Confidence
Long-term
Relevance
10/4/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedPyright is a static type checker developed by Microsoft and is the underlying engine of Pylance, which is built into VS Code.72% similarVerifiedPydantic is a mainstream data validation library in the Python ecosystem that enforces data structure validation at runtime through type annotations.71% similarUnverifiedPyrefly can be installed via uv add pyrefly or pip install pyrefly, and an entire project can be scanned by running uv run pyrefly check.68% similarUnverifiedPyO3是Rust语言的Python绑定库，通过Rust的类型系统和所有权机制封装CPython API的底层细节67% similarUnverifiedPydantic基于Python类型注解构建，Pydantic v2用Rust重写核心校验逻辑，性能相较v1有数倍提升67% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/973352API
curl https://kongchang.com/api/v1/knowledge/claims/973352MCP
get_claim(id=973352)