icontract (pypi): Provide design-by-contract with informative violation messages.
Keywords: design-by-contract|precondition|postcondition|validation