Command line
mandala
| Command | Does |
|---|
mandala serve [--data-dir DIR] [--listen HOST:PORT] | Runs Mandala. The flags override ALMA_DATA_DIR and ALMA_LISTEN. |
mandala version | Prints this build's version (the updater checks a staged binary with it) |
mandala app | The Mac app (macOS builds with the desktop feature); opening Mandala.app does the same. |
mandala sign-update --key FILE --generate | Creates the Mac app's release key and prints its public half. |
mandala sign-update --key FILE --app mac --version V --file ZIP [--notes TEXT] | Signs a release for the update channel. |
Internal subcommands, started by Mandala itself (one executable, no helpers):
| Command | Does |
|---|
mandala workbench-check | Runs one Workbench trial (JSON on stdin) on a throwaway node |
mandala code-turn DIR | Runs one turn of a coding session |
mandala code-permission DIR | Answers a coding agent's permission questions (MCP on stdio) |
dhl-engine
| Command | Does |
|---|
dhl-engine compile SOURCE | Compiles a contract, prints dataset guard notes and its artifact id, stores the artifact (DHARMA_DATA_ROOT, default .poc/dharma-agnostic) |
dhl-engine describe SOURCE OUTPUT | Writes openapi.json, schema.graphql, api.proto, and the contract description (description.json, .cbor, diagnostic.wasm), using <stem>.ui.md if present |
dhl-engine api CONFIG | Serves the generated API from a configuration |
dhl-engine cluster run CONFIG | Runs a cluster voter (prototype) |
Deploy scripts
| Script | Does |
|---|
mandala/deploy/ship.sh | Installs the current build into ~/.mandala in the background, restarts, rolls back if it does not come up (Updates) |
mandala/deploy/release.sh build|sign|publish … | Builds, signs and publishes a release for self-update (Updates) |
mandala/deploy/macos/install.sh DIR | Installs a Mac build as a launchd agent |
applications/apple/scripts/*.sh | Build, sign, notarize, release the Mac app; build the iPhone app |
