1 files changed, 43 insertions, 0 deletions

diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm
index 19c422baa78..2c794c1205e 100644
--- a/gnu/packages/python-check.scm
+++ b/gnu/packages/python-check.scm
@@ -28,6 +28,7 @@
 ;;; Copyright © 2024 Markku Korkeala <markku.korkeala@iki.fi>
 ;;; Copyright © 2025 Evgeny Pisemsky <mail@pisemsky.site>
 ;;; Copyright © 2025 Florent Pruvost <florent.pruvost@inria.fr>
+;;; Copyright © 2025 Nicolas Graves <ngraves@ngraves.fr>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -778,6 +779,48 @@ Functions exposed by the standard library’s @code{time}, @code{datetime} and
 Python software under test, when they make an HTTP query.")
     (license license:asl2.0)))
 
+(define-public python-hypothesmith
+  (package
+    (name "python-hypothesmith")
+    (version "0.2.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "hypothesmith" version))
+       (sha256
+        (base32 "08kr9p6hjm3ys87k1k3l79cmf936qbhn21ab8zadsvnp0gyv7dqg"))))
+    (build-system pyproject-build-system)
+    (arguments
+     (list
+      #:test-flags
+      #~(list "-k"
+              (string-append
+               ;; XXX: hypothesis.errors.Unsatisfiable
+               "not test_source_code_from_libcst_node_type[MatchSingleton]"
+               ;; XXX: Python/Black versions not as expected.
+               " and not test_black_autoformatter_from_grammar"))
+      #:phases
+      #~(modify-phases %standard-phases
+          (add-after 'unpack 'patch-lark-dependency
+            (lambda _
+              (substitute* "setup.py"
+                (("lark-parser>=[0-9.]*") "lark")))))))
+    (propagated-inputs
+     (list python-hypothesis python-lark python-libcst-minimal))
+    (native-inputs
+     (list python-black
+           python-parso
+           python-pytest
+           python-pytest-cov
+           python-setuptools
+           python-wheel))
+    (home-page "https://github.com/Zac-HD/hypothesmith")
+    (synopsis "Strategies for generating Python programs")
+    (description
+     "This package contains hypothesis strategies for generating Python
+programs, something like CSmith, a random generator of C programs.")
+    (license license:mpl2.0)))
+
 (define-public python-icontract
   (package
     (name "python-icontract")