python/mypy
Optional static typing for Python
A fast type checker and language server for Python
Appears on
Quick read
Latest capture 2026-09-08 03:05
Archive status reflects the last catalog sync, not a maintenance assessment. Check recent releases, issue responses, and fit for your project with the repository shortlisting checklist.
10 paths
Agent instructions and tool configuration found in this repository.
Agent instructions 3
Claude Code 7
10 observed captures since 2026-05-22. Observed captures are shown by default.
Stars from first capture +516
Observed captures only
All tracked data
Observed snapshots
Observed snapshots
Nearest indexed repositories by embedding similarity.
Optional static typing for Python
An extremely fast Python type checker and language server, written in Rust.
A simple program which checks Python source files for errors
Data validation using Python type hints
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
It's not just a linter that annoys you!