Hypothesis Python Packages

schemathesis

Catch API bugs before your users do

hypothesis-graphql

Generate arbitrary queries matching your GraphQL schema, and use them to verify your backend implementation.

pygeoif

Basic implementation of the __geo_interface__ 🌐️

hypothesmith

Hypothesis strategies for generating Python programs, something like CSmith

d8s-hypothesis

Democritus functions for working with Hypothesis (https://hypothesis.readthedocs.io/en/latest/).

hypofuzz

Adaptive fuzzing of Hypothesis tests

hypothesis-networkx

Hypothesis strategy to generate NetworkX graphs.

ordeal

Automated chaos testing for Python — fault injection, property assertions, and stateful exploration

invar-tools

From AI-generated to AI-engineered code. Guides AI agents to write verifiable code through contracts and structured workflows.

hypothesis-geometry

`hypothesis` strategies for geometries

hypothesis-sqlalchemy

hypothesis strategies for generating SQLAlchemy objects

booltest

BoolTest - polynomial randomness tester

fencekit

Redis-backed idempotency and fenced locks for background jobs.

irpf-exterior

Núcleo de domínio em Python para apuração de IRPF sobre investimentos no exterior (Lei 14.754/2023): compensação do imposto retido em Portugal, moedas tipadas e resultados auditáveis.

agentic-experiments

Hypothesis-first experiment tracking for agent-driven ML research, wired into Claude Code.

hypothesis-regex

Hypothesis extension to allow generating strings based on regex

hypotree

Memory that forgets: a persistent, self-revising belief-state MCP server and Python API for agentic R&D. Uses a hypothesis DAG to auto-prune dead ends and deduce truth without extra probes.

python-invar

From AI-generated to AI-engineered code. Guides AI agents to write verifiable code through contracts and structured workflows.

orger

Tool to convert data into searchable and interactive org-mode views

permissiondiff

CI-native differential authorization regression testing for Python—replay exact permission cases, enforce invariants, and catch DENY→ALLOW changes.

hypothesis-gufunc

Extension to hypothesis for testing numpy general universal functions

democritus-hypothesis

Democritus functions for working with Hypothesis (https://hypothesis.readthedocs.io/en/latest/).

invar-runtime

From AI-generated to AI-engineered code. Guides AI agents to write verifiable code through contracts and structured workflows.

lawcheck

Property-based algebraic law testing for Python: ready-made Hypothesis law suites for semigroups, monoids, functors, applicatives, and monads, with a pluggable equality oracle.