Ctrl + k

or run

tessl search
Log in

Version

Workspace
tessl
Visibility
Public
Created
Last updated
Describes
pypipkg:pypi/crosshair-tool@0.0.x
tile.json

tessl/pypi-crosshair-tool

tessl install tessl/pypi-crosshair-tool@0.0.0

Analyze Python code for correctness using symbolic execution and SMT solving to automatically find counterexamples for functions with type annotations and contracts.

Agent Success

Agent success rate when using this tile

86%

Improvement

Agent success rate improvement when using this tile compared to baseline

1.25x

Baseline

Agent success rate without this tile

69%

Assessment results

Generated

Agent Claude Code

Scenario 1

Search and optimization for constraint solving

-7%

Scenario 2

Contract checking and verification with multiple syntax support

76%

Scenario 3

Behavioral difference detection (diffbehavior) between implementations

100%

Scenario 4

Plugin system for custom types and contracts

-5%

Scenario 5

Symbolic standard library implementations (64+ modules)

0%

Scenario 6

Dynamic typing support with TypeVar binding

0%

Scenario 7

Symbolic type system with proxy creation for Python types

2%

Scenario 8

Runtime contract enforcement with decorators

0%

Scenario 9

File watching and continuous analysis

0%

Scenario 10

Test generation (cover) with automatic pytest output

0%