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.

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

contract-vault

Git-backed register for signed contracts: register executed deals, then surface renewals, notice deadlines, and obligations as a searchable portfolio and an .ics calendar. Local-first, stdlib-only.

contract-lint

Lint a contract for internal-consistency defects — placeholders, broken cross-references, undefined/unused defined terms, numbering gaps, party-name & date inconsistencies — with CI-gateable exit codes. Deterministic, stdlib-only. Also composes with the contract-ops suite.

assertlang

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

contract4agents

Typed declarative contracts for AI agent systems

nda-review-cli

Agent-first NDA review, drafting, and two-party negotiation CLI. Deterministic rules; opt-in LLM (Anthropic/OpenAI/Ollama). Hash-chained negotiation state. Part of the eight-CLI contract-ops suite — cli.drbaher.com

oasis-rofl-client

Official SDK for the Oasis Network.

ethlite

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

bisbasic

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

graphobs

Graph Observability Kit (graphobs) is a Python library for contract-first observability in graph-based applications. It helps teams describe graph state boundaries once, then reuse those declarations for trace payloads, structured logs, and validation.

ensures

Design by Contract with Functional Programming

provably

Proof-carrying Python — Z3-backed formal verification via @verified decorators

qwed-legal

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

oasis-rofl-client-rube

Official SDK for the Oasis Network.

telegramcontract2vcard

make telegram contacts to vCard

agentanvil

Contract-based testing framework for LLM agents — hybrid metrics (objective + LLM-as-judge + human), multi-agent and A2A protocol support, deterministic record/replay envelope.

bisnode

Bismuth Node

arraycontract

Contract programming for Pytorch, Numpy

classtools-autocode

Helps you write compact python classes

legaldrift

Statistical monitoring for legal document revision — detect semantic drift in contracts and policies

schema-overseer-local

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