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.

nevermined-contracts

Nevermined Contracts (AI Payments Protocol)

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 :).

assertlang

Executable contracts for multi-agent AI coordination. Write contracts once in AL, transpile to Python/JavaScript/Go/Rust/C#. CrewAI, LangGraph, and AutoGen agents execute identical logic—deterministic behavior guaranteed. Production-ready Python (67/67 tests), 134/134 stdlib tests passing.

bisbasic

[Released] Core Node of Bismuth - The first Python blockchain protocol and platform

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 to vCard

provably

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

ensures

Design by Contract with Functional Programming

oasis-rofl-client-rube

Official SDK for the Oasis Network.

bisnode

[Released] Core Node of Bismuth - The first Python blockchain protocol and platform

qwed-legal

🏛️ Deterministic rejection layer for computational legal claims. Verifies dates, amounts, and structured constraints; blocks unproven legal outputs.

schema-overseer-local

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

arraycontract

Check shape, ndim and dtype of tensor/ndarray of input of function

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 :).

contrapy

Contracts for Python

conker

Contracts (preconditions and postconditions) for python