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.
85
1.23x
Quality
—
Does it follow best practices?
Impact
85%
1.23xAverage score across 10 eval scenarios
Securityby
—
The risk profile of this skill
No skills found
This tile version doesn't contain any skills