pschanely/CrossHair

Health v2 · maintenance only

Flags: no_license

Adoption not part of the score

1317 stars · 98 forks observed · 2026-08-28

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

Member repositories

For agents

markdown · JSON · MCP: product_card(name="pschanely/CrossHair")