@firfi/quint-connect

Scaffold a quint-connect model-based test from a Quint spec. Covers defineDriver (typed mode with per-field picks, raw mode with step callback), run/quintRun, stateCheck, RunOptions (spec, nTraces, maxSteps, seed, backend), simple API (@firfi/quint-connect, Standard Schema) vs Effect API (@firfi/quint-connect/effect, Effect Schema), vitest helpers (quintTest, quintIt), Config (statePath, nondetPath), pickFrom. Use when setting up a new quint-connect test, wiring a driver, choosing an API surface, or adding state checking.