porting
Skill9.1k starsChanged 3 months agoLicence not identifiedView on GitHub
Port a Hypothesis module from Python to Rust faithfully, without changing behavior or structure, and differential-test the port against the original. Use when translating a module, function, or file from hypothesis/src/hypothesis/ into the native Rust extension as part of the Python-to-Rust engine migration, or when verifying that a just-finished port behaves identically to the Python it replaced.
We split this skill into the rules it gives an agent
12 rules. About 0 are common, 8 are distinctive, and 4 are very specific to this project.
≈0
Common · estimate
Many files like this have a rule of this kind.
≈8
Distinctive · estimate
This author's own choices. Worth a look.
4
Very specific
Tied to their project's names, files or tools. Probably skip.
The licence could not be identified — read it at the source. We count its rules but don't quote them. Read them on GitHub.
≈ “Common” is an estimate: at least 1 in 5 of the 308,232 skill files we read have a rule of the same kind, not the same words. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.
Trending
Steady: 0 new projects took it in the last 4 weeks, none the 4 weeks before.thin data
Who's talking about HypothesisWorks/hypothesis
- numpy/numpy“Ecosystem compatibility with numpy 2.0”GitHub · Apr 1, 2024 · 42 reactions
- gevent/gevent“manylinux: Truly disable the effect of -Ofast/-ffast-math”GitHub · Feb 2, 2022 · 28 reactions
- pydantic/pydantic“Generating Pydantic-specific types with Hypothesis”GitHub · Oct 19, 2020 · 10 reactions
- asottile/pyupgrade“Rewrite `f"x={x!r}"` to `f"{x=}` on Python 3.8+”GitHub · Jun 3, 2023 · 7 reactions
- unionai-oss/pandera“Make Hypothesis strategies more efficient with statistics resolver and reducing use of `.filter()`”GitHub · Feb 6, 2021 · 7 reactions
The biggest 5 of 56 mentions linking to the repository that our crawl found. Each line is their own headline.
See all 56
Talked about on GitHub, Stack Overflow and Hacker News (56 times).
On GitHub · 50
- Apr 1, 2024Ecosystem compatibility with numpy 2.0 — numpy/numpy42 reactions · 167 comments
- Feb 2, 2022manylinux: Truly disable the effect of -Ofast/-ffast-math — gevent/gevent28 reactions · 11 comments
- Oct 19, 2020Generating Pydantic-specific types with Hypothesis — pydantic/pydantic10 reactions · 8 comments
- Jun 3, 2023Rewrite `f"x={x!r}"` to `f"{x=}` on Python 3.8+ — asottile/pyupgrade7 reactions
- Feb 6, 2021Make Hypothesis strategies more efficient with statistics resolver and reducing use of `.filter()` — unionai-oss/pandera7 reactions · 7 comments
45 more on GitHub
- Mar 4, 2021Make pytest-django work with hypothesis — pytest-dev/pytest-django6 reactions · 11 comments
- Jun 5, 2021Supporting Hypothesis tests — darrenburns/ward5 reactions · 2 comments
- Sep 30, 2025Thread safety and Pytest — pytest-dev/pytest4 reactions · 23 comments
- Feb 9, 2022Pin dependencies version in CI with lock files with a bot that auto-updates the lockfiles — scikit-learn/scikit-learn4 reactions · 12 comments
- May 30, 2026chore(deps): bump the uv-all group with 5 updates — Ven0m0/Revanced-auto3 reactions · 2 comments
- May 16, 2026chore(deps): bump the uv-all group across 1 directory with 5 updates — Ven0m0/Revanced-auto3 reactions · 3 comments
- Apr 17, 2024NumPy 2.0 support — rapidsai/build-planning3 reactions · 18 comments
- Jun 3, 2022Disable unsafe-math-optimizations in CFLAGS — zopefoundation/BTrees3 reactions · 5 comments
- Dec 20, 2021PEP 678: Enriching Exceptions with Notes — python/peps3 reactions · 14 comments
- Aug 25, 2021Proposal: use entrypoints to make array-api submodules discoverable — data-apis/array-api3 reactions · 7 comments
- Jul 27, 2026🔧 chore(deps-dev): Bump the uv-development group with 4 updates — morzecrew/forze2 reactions · 4 comments
- Jul 25, 2026chore(deps-dev): bump the uv-all group with 4 updates — Ven0m0/Revanced-auto2 reactions · 2 comments
- Jul 20, 2026🔧 chore(deps-dev): Bump the uv-development group across 1 directory with 6 updates — morzecrew/forze2 reactions · 4 comments
- Jul 13, 2026🔧 chore(deps-dev): Bump the uv-development group across 1 directory with 8 updates — morzecrew/forze2 reactions · 4 comments
- Jul 11, 2026chore(deps-dev): bump the uv-all group with 4 updates — Ven0m0/Revanced-auto2 reactions · 3 comments
- Jun 20, 2026chore(deps-dev): bump the uv-all group with 2 updates — Ven0m0/Revanced-auto2 reactions · 1 comment
- Jun 6, 2026chore(deps-dev): bump hypothesis from 6.155.1 to 6.155.2 in the uv-all group — Ven0m0/Revanced-auto2 reactions · 2 comments
- Nov 3, 2025[CI] Limit test dependency `hypothesis` with `<6.145.0` — PaddlePaddle/Paddle2 reactions · 1 comment
- May 31, 2025Refactor execution as a `HypofuzzProvider` backend — Zac-HD/hypofuzz2 reactions
- Oct 8, 2024DeprecationWarning with Sphinx v8.0.2 — readthedocs/sphinx-hoverxref2 reactions · 7 comments
- Apr 22, 2024Split the HypoFuzz engine into a Hypothesis `backend` and an executor — Zac-HD/hypofuzz2 reactions · 1 comment
- Oct 20, 2021Shared tests with hypothesis throws an Event loop is closed error — pytest-dev/pytest-asyncio2 reactions · 1 comment
- Jul 8, 2018Support hypothesis — lk-geimfari/mimesis2 reactions · 14 comments
- Oct 28, 2026Bump the minor-and-patch group across 1 directory with 4 updates — leynos/prosidy-darn1 reaction · 1 comment
- Oct 28, 2026Chore(deps-dev): bump the minor-and-patch group across 1 directory with 2 updates — leynos/rstest-bdd1 reaction · 1 comment
- Oct 27, 2026Bump hypothesis from 6.170.3 to 6.170.5 in the minor-and-patch group — leynos/agent-helper-scripts1 reaction · 1 comment
- Oct 27, 2026Bump hypothesis from 6.170.2 to 6.170.5 in the minor-and-patch group — leynos/falcon-pachinko1 reaction · 1 comment
- Oct 27, 2026Build(deps-dev): bump hypothesis from 6.170.2 to 6.170.5 in the minor-and-patch group — leynos/cmd-mox1 reaction · 1 comment
- Oct 27, 2026Bump hypothesis from 6.170.1 to 6.170.5 in the minor-and-patch group — leynos/rust-prover-tools1 reaction · 1 comment
- Oct 27, 2026Chore(deps): Update hypothesis requirement from <7,>=6.170.1 to >=6.170.5,<7 in /scripts — leynos/ortho-config1 reaction · 1 comment
- Oct 27, 2026Bump hypothesis from 6.170.1 to 6.170.4 in the minor-and-patch group — leynos/beatcue1 reaction · 1 comment
- Oct 26, 2026Bump hypothesis from 6.170.1 to 6.170.3 in the minor-and-patch group — leynos/agent-helper-scripts1 reaction · 1 comment
- Oct 26, 2026Bump hypothesis from 6.170.1 to 6.170.2 in the minor-and-patch group — leynos/falcon-pachinko1 reaction · 1 comment
- Oct 26, 2026Build(deps-dev): bump hypothesis from 6.170.0 to 6.170.2 in the minor-and-patch group — leynos/cmd-mox1 reaction · 1 comment
- Oct 26, 2026Chore(deps-dev): bump hypothesis from 6.170.0 to 6.170.2 in the minor-and-patch group — leynos/rstest-bdd1 reaction · 2 comments
- Oct 26, 2026build(deps): bump the python-minor-patch group with 4 updates — martinez-hub/mushin1 reaction · 1 comment
- Oct 23, 2026Build(deps-dev): bump hypothesis from 6.169.3 to 6.170.0 in the minor-and-patch group — leynos/cmd-mox1 reaction · 1 comment
- Oct 23, 2026Chore(deps): Update hypothesis requirement from <7,>=6.169.2 to >=6.170.0,<7 in /scripts — leynos/ortho-config1 reaction · 1 comment
- Oct 22, 2026Bump hypothesis from 6.169.1 to 6.170.0 in the minor-and-patch group — leynos/agent-helper-scripts1 reaction · 1 comment
- Oct 19, 2026Bump hypothesis from 6.168.5 to 6.169.0 in the minor-and-patch group — leynos/agent-helper-scripts1 reaction · 1 comment
- Oct 19, 2026Bump hypothesis from 6.168.5 to 6.169.0 in the minor-and-patch group — leynos/falcon-pachinko1 reaction · 1 comment
- Oct 19, 2026Build(deps-dev): bump hypothesis from 6.168.5 to 6.169.0 in the minor-and-patch group — leynos/cmd-mox1 reaction · 1 comment
- Oct 19, 2026Chore(deps): Update hypothesis requirement from <7,>=6.168.5 to >=6.169.0,<7 in /scripts — leynos/ortho-config1 reaction · 2 comments
- Oct 14, 2026Build(deps-dev): bump the minor-and-patch group across 1 directory with 6 updates — leynos/cuprum1 reaction · 2 comments
- Oct 2, 2026Bump the minor-and-patch group across 1 directory with 3 updates — leynos/stilyagi1 reaction · 1 comment
On Stack Overflow · 5
- Jan 30, 2022Python Hypothesis testing: Is there a way to avoid drawing a LazyStrategy?says it tested it2 votes
- Jun 30, 2018Hypothesis stateful testing with pytest.raises doesn't report sequence of stepssays it tested it2 votes
- May 14, 2018Generating unique ids that are not repeated in hypothesis2 votes · 1 answer
- Sep 7, 2020Python/Pandas: Unit testing with hypothesis - reproducing falsifying examplesays it tested it0 votes
- May 27, 2018Is it possible to make pytest report if a function is never called directly in a test?0 votes
On Hacker News · 1
- Feb 1, 2024Hypothesis2 points
Other versions1 project uses a version of this.
Word for word · 0
None found.
Edited · 0
None found.
Wrote their own version · 1
- ekala-project/ekala-claude-skills★ 1same name
How matches are found. Word for word: the exact same text. Edited: shares passages with this file (“99% same” means 99% of its five-word phrases also appear here; 10% or more counts). Their own version: similar meaning, or, weakest, the same name. We can’t tell which project had it first. Projects are counted among the 200 most-starred candidates, and mentions are links to the repository we found, up to 50 per site, so both counts are a floor.
In this repositoryOne other file it gives its agents.
- .claude/CLAUDE.mdCLAUDE.md
Does it work?
Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.
Reviews can't be read right now.
Your trail
Files you open will collect here, so you can find them again.
Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.
Now do this for your own.
Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.

