pschanely/CrossHair
Some data may be outdated — see provenance labels.
An analysis tool for Python that blurs the line between testing and type systems. observed · 2026-09-27
Health v2 · maintenance only
95/100
- Activity 96
- Release rhythm 90
- Longevity 100
Flags: no_license
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-10-21. Adoption (stars, forks) is never an input.
- gap_med: 10
- age_days: 3339
- days_rel: 65
- days_push: 24
- n_releases_24m: 34
Adoption not part of the score
1333 stars · 100 forks observed · 2026-09-27
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
CrossHair is a Python analysis tool that verifies functions against type annotations and contracts using symbolic execution backed by an SMT solver. It finds counterexamples, generates unit tests, and diffs behavior between functions.
Use cases
- verify python functions against type annotations and contracts
- find counterexamples to function postconditions
- generate unit tests automatically from contracts
- find behavioral differences between two functions
- use symbolic execution as a hypothesis testing backend
- check preconditions and postconditions in python code
When to choose
- you have type-annotated python code with contracts you want verified
- you want deeper path exploration than random property-based testing
- you want to generate unit tests or diff function behavior
When to avoid
- you need fast, lightweight linting without deep analysis
- your code is not type-annotated or contract-specified
- you need support for languages other than python
Facets
library · maturity active
testing fuzzing type-system linter testing developer-tools programming-languages python cli cross-platform symbolic-execution concolic-execution contracts smt-solver z3 property-based-testing static-analysis counterexample-generation unit-test-generation algorithms
1 source
- readme: https://github.com/pschanely/CrossHair · fetched 2026-09-27 · 90dd9d11d370
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| pschanely/CrossHair | main | 95 |
For agents
markdown · JSON · MCP: product_card(name="pschanely/CrossHair")
Data as of 2026-10-19T08:05:51.212177+00:00 · Report a problem