soma.cell

soma tools

External tools (tool … [mcp: "server"] / [openapi: "server/op"]): pin their contracts in soma.lock.

soma tools 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 tools --help
External tools (`tool … [mcp: "server"]` / `[openapi: "server/op"]`): pin their contracts in soma.lock

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

Arguments:
  <ACTION>  `sync` asks each server and writes soma.lock; `list` shows the bound tools and their pins
  [FILE]    The program (default: app.cell)

Options:
      --stdlib <STDLIB>  Path to stdlib directory (default: auto-detect)
  -h, --help             Print help