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.

mela-letterhead

Write the document in Markdown. Get it back on your own paper. Mela Letterhead puts a real letterhead around a Markdown file — the band across the top of page one, the small running header on the pages after it, the footer with your legal and banking details on the last one — and hands you a PDF.

jdforge

Contract-first task engine: machine-checkable acceptance criteria, sandboxed execution, independent validation, approval-gated replan.

contract4agents

Typed declarative contracts for AI agent systems

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

Nevermined Contracts (AI Payments Protocol)

qwed-legal

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

veralang

Vera: a programming language designed for LLMs to write

contract-vault

Git-backed register for signed contracts: surface renewals, notice deadlines, and obligations as a portfolio and an .ics calendar. Stdlib Python. Part of the eight-CLI contract-ops suite — cli.drbaher.com

bisbasic

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

beholder-mcp

MCP server for accessing SAM.gov APIs

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.

oasis-rofl-client

Official SDK for the Oasis Network.

ethlite

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

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

telegramcontract2vcard

make telegram contacts to vCard

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

provably

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

oasis-rofl-client-rube

Official SDK for the Oasis Network.

bisnode

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

agentanvil

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

schema-overseer-local

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