soma.cell

soma check

Check contracts, properties, and scale coherence.

soma check is a command of soma, the toolchain of the Soma programming language (compiler, checker, verifier, test runner and server in one binary). Its options, as soma 3.2.4 prints them:

$ soma check --help
Check contracts, properties, and scale coherence

Usage: soma-v3.2.4 check [OPTIONS] <FILE>

Arguments:
  <FILE>  Path to the .cell source file

Options:
      --json             Output as JSON (for agents)
      --stdlib <STDLIB>  Path to stdlib directory (default: auto-detect)
  -h, --help             Print help