crosshair-tool has 310K monthly downloads and 1K GitHub stars. Version 0.0.107 supports Python 3.8+, first published in 2020.
It is actively maintained under a permissive license, last released in Jun 2026.
It is built on top of importlib-metadata, packaging and pygls. It is used by 5 tracked packages, including codeflash, hypothesis-crosshair and invar-tools.
GitHub topics include static-analysis, testing-framework and symbolic-execution.
Package Insights
((week_daily_avg - month_daily_avg) / month_daily_avg) * 100Weekly Downloads
GitHub Stars
Downloads by OS
Python Versions
Top Countries
Dependencies
- importlib-metadata >=4.0.0
- packaging
- pygls >=1.0.0
- typeshed-client >=2.0.5
- typing-extensions >=3.10.0
- typing-inspect >=0.7.1
- z3-solver >=4.13.0.0
15 optional dependencies
- autodocsumm[dev]
- black[dev]
- deal[dev]
- icontract[dev]
- isort[dev]
- mypy[dev]
- numpy[dev]
- pre-commit[dev]
- pytest[dev]
- pytest-xdist[dev]
- rst2pdf[dev]
- setuptools[dev]
- sphinx[dev]
- sphinx-rtd-theme[dev]
- z3-solver[dev]