Design By Contract Python Packages

deal

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

sismic

Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/

invar-tools

From AI-generated to AI-engineered code. Guides AI agents to write verifiable code through contracts and structured workflows.

python-invar

From AI-generated to AI-engineered code. Guides AI agents to write verifiable code through contracts and structured workflows.

djburger

Framework for safe and maintainable web-projects.

serenecode

Verification framework for AI-generated Python — test coverage, property testing, and symbolic execution

traffic-intersection

This is an example of the design-by-contract method

design-by-contract

Handy decorator to define contracts with dependency injection in Python 3.10 and above

invar-runtime

From AI-generated to AI-engineered code. Guides AI agents to write verifiable code through contracts and structured workflows.

pysertive

✔️ Assertive python design by contract toolkit for software validation. Simplify preconditions, postconditions, and invariants with easy-to-use decorators.