Contracts Python Packages

crosshair-tool

An analysis tool for Python that blurs the line between testing and type systems.

deal

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

specfact-cli

The Swiss-knife CLI for validation and alignment in software delivery. Keep backlog intent, specs, tests, and code in sync across AI-assisted and brownfield delivery.

autoclass

A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts on the generated setters. Its objective is to reduce the amount of copy/paste code in your classes - and hence to help reducing human mistakes :).

nevermined-contracts

Smart Contracts for Nevermined Data platform

bisbasic

Bismuth Blockchain Dependencies

assertlang

Executable contracts for multi-agent systems - deterministic coordination across frameworks and languages

ethlite

A tiny web3/python alternative to interact with any ethereum compatible blockchain

oasis-rofl-client

Official SDK for the Oasis Network.

agentanvil

Contract-based testing for LLM agents: hybrid evaluation, multi-agent + A2A, deterministic replay.

telegramcontract2vcard

make telegram contacts.html or result.json to vCard automatically

ensures

Design by Contract with Functional Programming

provably

Proof-carrying Python functions via Z3 — annotate, verify, ship.

bisnode

Bismuth Node

oasis-rofl-client-rube

Official SDK for the Oasis Network.

qwed-legal

🏛️ Verification guards for legal contracts - Date calculations, clause consistency, liability verification

classtools-autocode

A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts on the generated setters. Its objective is to reduce the amount of copy/paste code in your classes - and hence to help reducing human mistakes :).

arraycontract

Contract programming for Pytorch, Numpy

schema-overseer-local

Helper to create a compatibility layer between inputs in different formats and other parts of application.

contrapy

Contracts for Python

conker

Contracts (preconditions, postconditions)