Type Inference Python Packages

jedi

Awesome autocompletion, static analysis and refactoring library for python

optype

Opinionated typing package for precise type hints in Python

visions

Type System for Data Analysis in Python

touchstone-prover

An SMT-based verifier and type inferencer for Python: proves contracts, equivalence, and trap-freedom (with counterexamples) over a Rocq trust base.

astypes

Python library to infer types for AST nodes. Make the most powerful Python linters and formatters!

infer-types

A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.

bertrand

(in development) Type-safe language bindings for Python/C++

lateralus-lang

Lateralus — a pipeline-native programming language with compiler, VM, OS, LSP, and VS Code extension. Try it at lateralus.dev/playground

esnodepy

Zero-config Python boundary intelligence. Detects return type drift and implicit None fall-through in typed code.

pydanticforge

Infer robust Pydantic v2 models from messy, evolving JSON streams

lateralus-grug-wisdom

Lateralus — a pipeline-native programming language with compiler, VM, OS, LSP, and VS Code extension. Try it at lateralus.dev/playground

grugbot420

grug oracle for tired devs. wisdom, jokes, smoke vibes, and rule-driven keyword roasts. brain small, advice big.