tessl/pypi-crosshair-tool
Analyze Python code for correctness using symbolic execution and SMT solving to automatically find counterexamples for functions with type annotations and contracts.
86
1.24x
Quality
Pending
Does it follow best practices?
Impact
86%
1.24xAverage score across 10 eval scenarios
Securityby
Pending
The risk profile of this skill
No skills found
This tile version doesn't contain any skills