pyicontract-lint (pypi): Lint contracts defined with icontract library.
Keywords: design-by-contract|precondition|postcondition|validation|lint