Overview
An experimental type checker for Python and other dynamic languages. It checks files for diagnostics such as missing annotations, fixes them by adding Any, traces types at runtime for function calls, and includes a terminal UI for file analysis and error navigation. Written in Rust, with cargo test and clippy in the development loop.
Architecture
omnitype performs static type inference from a small, readable core. It is built to be embedded in editors and CI rather than grow into a full language server.
Capabilities
- Static type inference from a small core
- Embeddable in editors and CI
Installation
cargo install --git https://github.com/coccinella-labs/omnitype