thonny-crosshair (pypi): Automatically verify Python code using CrossHair in Thonny.
Keywords: design-by-contract|contracts|automatic|verification