Abstract Interpretation Python Packages

pyre-check-nightly

Performant type-checking for python.

qxlint

Static checks for Qiskit Primitives V2 workflows. Every API claim is verified against a real Qiskit, not read from docs. Reports only what it can prove.

qual-manim

The Manim-aware linter: catch render-time errors, silent visual bugs, and per-frame performance traps before you render.

razor

OCCAM: Object Culling and Concretization for Assurance Maximization

stelling

Static precondition checker for numerical JAX programs: declare a box, get a stamped VERIFIED/REFUTED/UNKNOWN with a runnable witness. Zero required dependencies.