tree-sitter>=0.20.1
tree-sitter-solidity>=0.1.2
gitpython>=3.1.40
requests>=2.31.0
pydantic>=2.5.0
colorlog>=6.7.0
litellm>=1.0.0
docker>=6.1.3
web3<7,>=6.15.0
py-solc-x>=2.0.0
eth-account>=0.8.0
rich>=13.0.0
packaging>=23.3
toml>=0.10.2

[all]
hawki[pdf,prove,reports]

[dev]
pytest>=7.0.0
ruff>=0.1.0

[pdf]
pdfkit>=1.0.0

[prove]
z3-solver==4.12.2.0

[reports]
jinja2>=3.1.0
matplotlib>=3.7.0
