Skip to main content

Documentation Index

Fetch the complete documentation index at: https://docs.solidscipt.zoracle.xyz/llms.txt

Use this file to discover all available pages before exploring further.

The verify command runs all enabled security gates against your contracts and exits with a nonzero status code if any required gate fails. By default it runs auto-generated fuzz harnesses, the SMTChecker, Slither static analysis, invariant tests, and a pattern library check. Use --skip to omit individual gates during a fast iteration loop, and increase --fuzz-runs before a production release. For a workflow that makes verification a hard precondition on deployment, use secure-deploy instead. 
solidscript verify <input>

​
Arguments

ArgumentDescription
<input>Path to the directory containing your TypeScript contract files

​
Options

FlagDescription
--skip <gates>Comma-separated list of gates to skip. Accepted values: fuzz, smt, slither, invariants, patterns
--fuzz-runs <n>Number of Forge fuzz iterations per method. Defaults to 1000

​
Examples

# Run all verification gates
npx solidscript verify contracts

# Skip fuzz and invariant gates for a faster inner loop
npx solidscript verify contracts --skip fuzz,invariants

# Increase fuzz coverage before a production release
npx solidscript verify contracts --fuzz-runs 5000
For production deployments, use secure-deploy to enforce verification as a hard precondition that blocks deployment when any gate fails.