실행 전의 형식 분석
변수와 함수가 선언한 형식에 맞게 사용되는지 소스 코드를 분석한다. 프로그램을 실제로 실행해야 드러나는 일부 형식 오류를 실행 전에 찾는 것이 목적이다. 형식 주석을 추가해도 Python 인터프리터에서의 실행 방식 자체가 바뀌지는 않는다.
점진적으로 넓히는 검사
기존 코드에 형식 힌트를 조금씩 추가하고 필요한 부분은 동적 형식으로 남길 수 있다. 형식 추론과 제네릭 및 합집합과 구조적 하위 형식 등을 지원한다. 코드 전체를 한 번에 같은 수준으로 바꾸지 않고 적용 범위를 넓히는 방식이다.
개발 도구와의 연결
명령행에서 검사하고 여러 편집기와 개발 환경에 연결할 수 있다. 큰 코드 기반을 위해 데몬 방식의 증분 검사도 제공한다. 소스 변경 후 분석을 다시 수행하는 흐름을 개발 과정에 포함하는 도구다.