Prusto is used at run time in 1 crate (of which 1 optionally).

Depender (with downloads and own rev deps) Prusto version
1 connectorx optional ^0.5.1