beartype>=0.18
icontract>=2.7
crosshair-tool>=0.0.97
hypothesis>=6.0
basedpyright>=1.36
semgrep>=1.144.0
specmatic>=2.2.0
pyyaml>=6.0
