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.
Dynamic, resilient AI orchestration. Coordinate data, models, and compute as you build AI workflows.
A simple program which checks Python source files for errors
Native local development environment for Windows, macOS & Linux. A modern alternative to XAMPP, MAMP, Laragon and Laravel Herd, with runtimes, databases, web servers, local sites, HTTPS, AI coding tools and MCP.
Data validation using Python type hints
