Search 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

ordeal

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

d8s-hypothesis

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

hypothesis-networkx

Hypothesis strategy to generate NetworkX graphs.

hypofuzz

Adaptive fuzzing of Hypothesis tests

hypothesis-geometry

`hypothesis` strategies for geometries

invar-tools

AI-native software engineering tools with design-by-contract verification

hypothesis-sqlalchemy

hypothesis strategies for generating SQLAlchemy objects

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

hypothesis-gufunc

Extension to hypothesis for testing numpy general universal functions

python-invar

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

orger

Converts data into org-mode

booltest

BoolTest - polynomial randomness tester

nightjar-verify

Math doesn't hallucinate. Formal verification for AI-generated Python code.

invar-runtime

Lightweight runtime contracts for Invar projects

neuralcli

A command line neural network

stat-tests

Easy-to-use statistical tests in Python

hypothesis-csv

Extension for the hypothesis framework to support the generative testing with CSV input

lark-grammars

Grammars suitable for lark parser and Hypothesis

nightjarzzz

Math doesn't hallucinate. Formal verification for AI-generated Python code.