Every semaprax command in 0.9.0, grouped by what you want to do, with the page
that teaches it. semaprax help all prints the exact grammar of each command on
your installed build; semaprax help <command> prints one.
<input> means a .spx file, a project directory or semaprax.toml.
semaprax harness exists only in release archives and semaprax-full
(Harness ); everything else is in the standalone build.
Command Does Page
new <dest> [--name n] [--template calculator|library|service]Creates a project in an unused directory. First project project-scaffold --name n [--template t] [--layout frozen|tables]Prints the same project as one JSON capsule; writes nothing. Manifests check [<input>] [--json]Parses, resolves, type-checks, verifies. First program fmt <input> [--check]Rewrites source to canonical form. Style run <input> [--native] [--json] [--max-steps N] [--max-bytes N]Runs main in the interpreter; --native runs a single file as C11. First program test [<dir>|semaprax.toml] [--json]Runs every test_ function in the project’s test modules. Testing build <input> --target native|native-callable|web|wasm|npm|ociEmits an artifact. Targets network-run <project> --fixture f.json [--arg s] [--stdin p]Runs a project against recorded network replies. Input and output dev <semaprax.toml> --jsonl|--humanHot-reload session for the interpreter. Targets interpret, interpret-strings <file> --function f --arg vRuns one function and prints a JSON report. Specialist commands
Command Does Page
graph <file>The whole semantic graph as JSON. Explore context <input> <id> [--depth N] [--max-bytes N] [--filters ...]Bounded facts about one declaration. With --rust-index it answers about a Rust import. Agents , Integrations doc <file> [--json]Documentation generated from the graph. Explore query <input> ...Finds declarations by kind, name, id, effect or call edge. Subforms: declarations, symbol, context, impact, available-operations, --capabilities. Agents , Shipping explore <manifest> --format html|json|markdown|svg --output pA visual project map. Explore compact graph|agent-definition|context|task-context|api-surface|candidate-diffSmaller replayable encodings of the same answers. Context performance context-benchmark <manifest>Measures the context size of maintenance questions. Context performance explain <SPX-code> [--json]Confirms a code exists in this compiler. Diagnostics help [<command>|all|language [topic]|library [name]|shapes [kind]|diagnostic [code]]Offline help. Debugging skills get <agent|language|graph|stdlib|packages|effects>Version-matched agent guides as JSON. Agents fix --plan, repairs, repairPlan, then apply, the one repair offered (add a missing @id). Debugging
Command Does Page
impact, review, patch <file> <patch.spatch>Preview, review and apply a one-file patch. Shipping patch-evidence[-v2], verify-patch-evidence[-v2], patch-with-evidence[-v2], target-evidenceProduce, verify and apply with replayed evidence. Shipping change preview|rebase|merge <project> ...Semantic changes to a project. Shipping review <project> <transaction.json> [--evidence]Reviews a transaction file. Shipping verify <subject> <change> <capsule.json>Replays an evidence capsule; the schema picks the verifier. Shipping patch-receipt <project> render|verify|refusal|verify-refusal|compare|evidence-summary|evidence-pageReceipts for transactions. Shipping semantic-workspace-init, workspace-snapshot|graph|context|impact|reviewRead a managed workspace of 2 to 32 files. Shipping semantic-workspace-change-preview, semantic-workspace-change-evidence, verify-semantic-workspace-change-evidence, apply-semantic-workspace-change-evidencePreview, evidence, verify, apply a workspace change. Shipping semantic-workspace-structural-change-preview, semantic-workspace-structural-change-evidence, verify-semantic-workspace-structural-change-evidence, apply-semantic-workspace-structural-change-evidenceThe same four steps for structural changes. Shipping semantic-workspace-operations-derive, semantic-workspace-operations-change-proposal, semantic-workspace-operations-evidence, verify-semantic-workspace-operations-evidence, apply-semantic-workspace-operations-evidenceDerive operations, then evidence, verify, apply. Shipping workspace-init|preview|apply|patch-evidence, verify-workspace-patch-evidence, workspace-apply-with-evidenceThe older .wspatch route. Shipping project-image, project-image-store, project-image-load, project-image-verify, project-symbolDisposable semantic images. Shipping project-candidate-preview, project-candidate-export, project-candidate-restore, project-candidate-persist, project-candidate-load, project-draft-persist, project-draft-load, project-candidate-git-publishCandidates, drafts and local Git publication. Shipping hygienic-gen <file>Prints generated constructors and accessors. Specialist commands
Command Does Page
serve <file>One file over JSON-RPC. Specialist commands service <project> [--mcp]One project over JSON-RPC or MCP. Shipping serve-image, serve-candidates, serve-test-candidates, serve-diagnostics, serve-diagnostics-tested <manifest>Image protocol v1 to v4. Shipping serve-workspace, serve-workspace-mcp <manifest> <host-policy.json>Image protocol v5 under a host policy. Shipping
Command Does Page
agent inspect <definition.json> [--profile]Prints an agent definition’s graph. Agent programs agent run <definition> <task> <transcript> [--evidence|--trace]Runs an agent against a recorded transcript. Agent programs agent replay <definition> <task> <transcript> <evidence>Replays and checks evidence. Recovery agent skill [--require-schema s]Prints the installed agent skill. Agents verify <definition> <profile> <graph>, verify <manifest> <image.json>Replays agent and image evidence. Agent programs workflow inspect|validate|checkpoint|dispatchReads typed workflow files; runs nothing. Shipping harness <verb>The development harness (archive and full build). Harness
Command Does Page
add <dir> <package> <range>Adds a dependency row. Shipping lock [<input>] --write|--verify|--compare f|--emit-interface|--compare-interface fPins and compares a project. Shipping resolve <input> --target native64|wasm32 --cache dir --write|--verifyPins per-target dependency choices. Shipping fetch [--lock l] <cache> <subject.json>...Fills a local cache from subjects you hold. Shipping package report|lock|resolve (aliases package-report, package-lock, package-resolve)Package descriptor, lock and resolution for explicit inputs. Shipping registry search|add|lock|fetch|verify|publishOffline registry document operations. Shipping audit inspect|verify|diffAudit capsules. Shipping release verify <dir>, doctor verify-release <dir> --trusted-root-sha256 hVerifies a downloaded release offline. Shipping
How far each of these is trusted: What Semaprax verifies .
Command Does Page
openapi, openapi-compat, c-header, abi-report, cxx-shim, cxx-package, freestanding-objectDescriptions and headers for other systems. Integrations plugin-manifest, ui-schemaRead-only module descriptions. Specialist commands capability-manifest, protocol-check, simd-report, region-reportRead-only analyses. Specialist commands assurance-policy, assurance-diff, assurance-manifest, project-assurance-manifest, properties, project-proof-checkProof and evidence accounting. Shipping , Laws semantic-cache-*Reuse checked analysis across processes. Context performance retention-metadata-inventory, retention-metadata-plan, retention-metadata-persist, retention-metadata-loadPlan and store retained-analysis metadata. Specialist commands
Command Does Page
doctor [--profile id] [--target native|web|all] [--json]Reports the toolchain, offline. Targets version [--json], --versionVersion and maturity. Specialist commands quality-plan quick|changed|fullPrints the contributor gate plan. Specialist commands