PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
pschanely
crosshair-tool

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

326K 1K 79
life4
deal

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

68K 891 36
nold-ai
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.

9K 15 1
nevermined-io
nevermined-contracts

Nevermined Contracts (AI Payments Protocol)

2K 1 0
smarie
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 :).

2K 38 2
bismuthfoundation
bisbasic

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

593 37 14
AssertLang
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.

592 2 1
emilianobilli
ethlite

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

540 16 3
oasisprotocol
oasis-rofl-client

Official SDK for the Oasis Network.

450 89 32
cchinchilla-dev
agentanvil

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

383 0 0
jjh4450
telegramcontract2vcard

make telegram contacts to vCard

301 0 0
awkronos
provably

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

262 0 0
brunodantas
ensures

Design by Contract with Functional Programming

227 7 0
oasisprotocol
oasis-rofl-client-rube

Official SDK for the Oasis Network.

160 89 32
bismuthfoundation
bisnode

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

140 37 14
QWED-AI
qwed-legal

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

118 2 3
Schema-Overseer
schema-overseer-local

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

106 2 0
cjwcommuny
arraycontract

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

95 0 0
smarie
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 :).

79 38 2
digitalmensch
contrapy

Contracts for Python

41 0 0
byxor
conker

Contracts (preconditions, postconditions)

40 0 0
    • Data from PyPI, GitHub, ClickHouse, and BigQuery