sp1-verifier is used at run time in 2 crates. It is a direct run-time dependency in 1 crate.

Depender (with downloads and own rev deps) sp1-verifier version
1.2K 1 charms-spell-checker ^4.0.1