Static precondition checker for numerical JAX programs: declare a box, get a stamped VERIFIED/REFUTED/UNKNOWN with a runnable witness. Zero required dependencies.
✔️ Assertive python design by contract toolkit for software validation. Simplify preconditions, postconditions, and invariants with easy-to-use decorators.
