Fetching package from npm...
Scaffold a quint-connect model-based test from a Quint spec. Covers defineDriver (typed action-map mode with per-field picks), 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). Use when setting up a new quint-connect test, wiring a driver, choosing an API surface, or adding state checking.