MCPcopy Create free account
hub / github.com/HypothesisWorks/hypothesis

github.com/HypothesisWorks/hypothesis

Chat with this repo
repository ↗ · DeepWiki ↗ · release v6.165.3 ↗ · + Follow · compare 30 versions
7,471 symbols 30,646 edges 468 files ⚖ MPL-2.0 754 documented · 10% updated todayv6.165.6 · 2026-08-14★ 8,88537 open issues

Browse by type

Functions 6,593 Types & classes 739 Endpoints 139
What it actually does AI analysis from the code graph — generated when you open this
loading…
README

Hypothesis

Hypothesis is the property-based testing library for Python. With Hypothesis, you write tests which should pass for all inputs in whatever range you describe, and let Hypothesis randomly choose which of those inputs to check - including edge cases you might not have thought about. For example:

from hypothesis import given, strategies as st


@given(st.lists(st.integers()))
def test_matches_builtin(ls):
    assert sorted(ls) == my_sort(ls)

This randomized testing can catch bugs and edge cases that you didn't think of and wouldn't have found. In addition, when Hypothesis does find a bug, it doesn't just report any failing test case — it reports the simplest possible one. This makes property-based tests a powerful tool for debugging, as well as testing.

For instance,

def my_sort(ls):
    return sorted(set(ls))

fails with the simplest possible failing test case:

Failing test case: test_matches_builtin(ls=[0, 0])

Installation

To install Hypothesis:

pip install hypothesis

There are also optional extras available.

Core symbols most depended-on inside this repo

browse all functions →

Shape

Function 4,847
Method 1,746
Class 739
Route 139

Languages

Python100%
Rust1%
TypeScript1%

Modules by API surface

hypothesis/tests/cover/test_stateful.py265 symbols
hypothesis/tests/cover/test_lookup.py200 symbols
hypothesis/tests/cover/test_pretty.py135 symbols
hypothesis/tests/conjecture/test_engine.py126 symbols
hypothesis/tests/cover/test_reflection.py123 symbols
hypothesis/src/hypothesis/internal/conjecture/data.py115 symbols
hypothesis/tests/numpy/test_gen_data.py97 symbols
hypothesis/src/hypothesis/database.py96 symbols
hypothesis/src/hypothesis/strategies/_internal/core.py94 symbols
hypothesis/tests/cover/test_database_backend.py92 symbols
hypothesis/tests/conjecture/test_provider.py84 symbols
hypothesis/src/hypothesis/strategies/_internal/strategies.py83 symbols

For agents

$ claude mcp add hypothesis \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

Ask about this repo answers extend the page