Microsoft
ไมโครซอฟท์ปล่อยโปรแกรมเช็คชนิดตัวแปรก่อนรัน (static type checker) ในชื่อ Pyright โดยที่ตัวโปรแกรมเองพัฒนาจากภาษา TypeScript เนื่องจากต้องการให้รันร่วมกับ VSCode ได้โดยไม่ต้องการรันไทม์อื่นเพิ่มเติม
Pyright มีความสามารถในการตรวจสอบชนิดตัวแปรตามเอกสาร PEP 484, PEP 526, PEP 544 สามารถดูชนิดตัวแปรที่คืนค่าจากฟังก์ชั่น, ตัวแปรของออปเจกต์, หรือตัวแปรของคลาส สำหรับไลบรารีมาตรฐาน จะใช้สำเนาจาก Typeshed มาในตัว