@openmbee/sysml-mcp-linux-arm64 0.0.0-stage → 0.11.0

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright 2026 Open-MBEE
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -1,3 +1,7 @@
-# Temporary Holding Version
+# @openmbee/sysml-mcp-linux-arm64
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+sysml-mcp Model Context Protocol server binary for linux-arm64. Installed as an
+optional dependency of [`@openmbee/sysml-mcp`](https://www.npmjs.com/package/@openmbee/sysml-mcp);
+there is nothing to import here.
+
+SHA-256 of `bin/sysml-mcp`: `e4e18c4a7cbacad32a930f9353f315dddd48e0293cdbb08442662d85792cccff`

package/bin/sysml-mcp

@@ -0,0 +1,4 @@
+[diffend] Oversized file quarantined before diffing.
+name: package/bin/sysml-mcp
+size: 52232376 bytes
+sha256: e4e18c4a7cbacad32a930f9353f315dddd48e0293cdbb08442662d85792cccff

package/package.json

@@ -1,6 +1,23 @@
 {
   "name": "@openmbee/sysml-mcp-linux-arm64",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
-}
+  "version": "0.11.0",
+  "description": "sysml-mcp Model Context Protocol server binary for linux-arm64",
+  "license": "Apache-2.0",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Open-MBEE/OpenSysML.git",
+    "directory": "packaging/npm/sysml-mcp"
+  },
+  "os": [
+    "linux"
+  ],
+  "cpu": [
+    "arm64"
+  ],
+  "files": [
+    "bin",
+    "LICENSE",
+    "share",
+    "README.md"
+  ]
+}

package/share/man/man1/sysml-mcp.1

@@ -0,0 +1,610 @@
+.\" Generated by "sysml-mcp -man"; edit the description in the command's usage.go.
+.TH SYSML-MCP 1 "2026-08-30" "OpenSysML" "OpenSysML Manual"
+.SH NAME
+sysml\-mcp \- Model Context Protocol server for SysML v2 and KerML
+.SH SYNOPSIS
+.B sysml\-mcp
+[options]
+.br
+.B sysml\-mcp
+\-http ADDR [options]
+.SH DESCRIPTION
+sysml\-mcp serves OpenSysML to coding agents over the Model Context Protocol,
+as tools an agent calls: the language server's diagnostics, navigation,
+editing and rendering over the model documents under the workspace root; the
+runtime's one\-shot parsing, evaluation, instantiation, execution,
+verification, querying and conversion; and named REPL sessions whose
+declarations, instances and runs persist across calls; the protocol is spoken
+over stdin/stdout, so an agent host starts this server rather than a shell, or
+over Streamable HTTP at the address \-http names.
+.PP
+The documents under the root are managed as one workspace, so a declaration in
+one resolves against the others, and the standard library is the copy embedded
+in this binary unless OPENSYSML_LIBRARY_PATH names another.
+.SH OPTIONS
+.TP
+.BI \-allow\-origin " string"
+Origins, comma\-separated as scheme://host[:port], granted cross\-origin
+access to the HTTP transport (the CORS headers and preflight answer a browser
+needs); loopback origins and requests with no Origin header are admitted
+without a grant, any other origin is refused
+.TP
+.BI \-cache\-size " int"
+Maximum number of parsed models the runtime tools hold; at least 1. The
+default is 100.
+.TP
+.B \-h
+Show this help (shorthand)
+.TP
+.B \-help
+Show this help and exit
+.TP
+.BI \-http " string"
+Serve over Streamable HTTP at the path /mcp of this address instead of
+stdin/stdout, as host:port or a port alone, which binds loopback; every client
+shares the one workspace, runtime cache and set of REPL sessions. An address
+other machines reach is served only with a bearer token (\-token\-file,
+\-token or OPENSYSML_MCP_TOKEN)
+.TP
+.BI \-log\-level " string"
+Lowest level logged to stderr: debug, info, warn or error. The default is
+warn.
+.TP
+.B \-man
+Write this command's manual page, in roff, to stdout and exit
+.TP
+.B \-no\-record\-cache
+Parse every document and hold it loaded, reading no interface record from the
+record cache and writing none; default off, or OPENSYSML_RECORD_CACHE=0
+.TP
+.B \-print\-config
+Write the configuration block declaring this server to an agent host \(em
+opencode, claude\-code, cursor, codex, vscode, gemini, devin \(em to stdout
+and exit; alone, list the hosts
+.TP
+.BI \-print\-config\-command " string"
+Command the \-print\-config block names instead of this binary's absolute
+path, such as sysml\-mcp when it is on PATH
+.TP
+.B \-print\-config\-npx
+Make the \-print\-config block start the server as npx \-y
+@openmbee/sysml\-mcp, which npm installs on first use, instead of naming this
+binary
+.TP
+.BI \-public\-url " string"
+URL clients reach the HTTP transport at when a proxy in front terminates TLS
+or rewrites the path, as https://models.example.org/mcp (a plain path, no
+query); named as the protected resource and in the bearer challenge, and by
+the \-print\-config block; default each request's own scheme and Host
+.TP
+.BI \-root " string"
+Workspace folder whose model documents the server indexes and edits; default
+the current directory, which an agent host sets to the project. The default is
+\&..
+.TP
+.B \-stdio
+Serve over stdin/stdout (the default transport; accepted for hosts that name
+it; not with \-http)
+.TP
+.B \-strict
+Serve strict conformance from the start: notation no pinned SysML v2
+production admits is an error
+.TP
+.BI \-tls\-cert " string"
+TLS certificate file for the HTTP transport; with \-tls\-key, the transport
+serves https
+.TP
+.BI \-tls\-key " string"
+TLS private key file for the HTTP transport
+.TP
+.BI \-token " string"
+The bearer token itself, for a shell whose command line is private;
+\-token\-file keeps it out of the process list, and OPENSYSML_MCP_TOKEN is
+read when neither flag names one
+.TP
+.BI \-token\-file " string"
+File holding the bearer token every HTTP request must carry as Authorization:
+Bearer TOKEN (a trailing line break is not part of it); required for an
+address other machines reach, enforced on loopback too when given
+.TP
+.BI \-tools " string"
+Tool groups to serve, comma\-separated: lsp (diagnostics, navigation, editing,
+rendering), runtime (one\-shot evaluation, execution, verification,
+conversion), session (persistent REPL sessions); default all. The default is
+all.
+.TP
+.B \-v
+Show version (shorthand)
+.TP
+.B \-version
+Show version information
+.SH STARTING THE SERVER
+.RS 2
+.nf
+# What an agent host runs, in the project directory
+sysml\-mcp
+# Serve the models under another folder
+sysml\-mcp \-root models
+# Serve without persistent sessions
+sysml\-mcp \-tools lsp,runtime
+.fi
+.RE
+.PP
+An agent host declares the server in its configuration, as {"mcp": {"sysml":
+{"type": "local", "command": ["sysml\-mcp"]}}} in OpenCode's opencode.json,
+and starts it with the project as the working directory.
+.SH TRANSPORTS
+Without \-http the protocol is spoken over stdin and stdout: the host starts
+the server, which serves that one client and exits when the stream closes.
+With \-http the server is started once and serves every client that connects
+to its address over the Streamable HTTP transport, at the path /mcp, until it
+is told to stop with SIGINT or SIGTERM; stopping closes the sessions and waits
+up to 30 seconds for the connections to drain. The clients share one
+workspace, one runtime cache and one set of REPL sessions, so a session_* name
+opened by one is the session every other sees under that name.
+.PP
+.RS 2
+.nf
+sysml\-mcp \-http 8765  # Serve http://localhost:8765/mcp to this machine
+# Serve every interface over https to clients that hold the token
+sysml\-mcp \-http 0.0.0.0:8765 \-token\-file mcp.token \-tls\-cert \e
+    server.crt \-tls\-key server.key
+# Answer one browser origin besides loopback
+sysml\-mcp \-http 0.0.0.0:8765 \-token\-file mcp.token \-allow\-origin \e
+    https://agents.example.org
+# Serve loopback behind a proxy that terminates TLS at that URL
+sysml\-mcp \-http 8765 \-token\-file mcp.token \-public\-url \e
+    https://models.example.org/mcp
+.fi
+.RE
+.PP
+An address with no host, or a port alone, binds loopback, which only this
+machine reaches, and is served as it is. Any other address is served only with
+a bearer token, named by \-token\-file, \-token or OPENSYSML_MCP_TOKEN: the
+server is an OAuth 2.1 resource server in the minimal form, with one token
+issued by whoever runs it, so every request must carry Authorization: Bearer
+TOKEN, and one that does not is refused with 401 and a WWW\-Authenticate
+challenge naming the resource metadata at
+/.well\-known/oauth\-protected\-resource/mcp, both naming the endpoint as the
+request reached it, or as \-public\-url says when a proxy in front terminates
+TLS. Starting on such an address with no token is refused. A token given for a
+loopback address is enforced the same way. The token is letters, digits and
+\-._~+/ (RFC 6750), is never logged, and is best generated, as by openssl rand
+\-base64 32, and kept in a file only the server's user reads. \-tls\-cert and
+\-tls\-key, both given, serve https, which a token sent over a network needs;
+one without the other is refused.
+.PP
+A request is answered when its Origin header is absent, names a loopback
+origin (localhost, 127.0.0.0/8 or ::1 over any scheme and port) or names an
+origin listed in \-allow\-origin exactly; any other origin is refused with
+403, which keeps a page on another site from reaching the server through a DNS
+name rebound to this machine. The wildcard origin is not accepted. A request
+whose MCP\-Protocol\-Version header names a version the server does not speak
+is refused with 400.
+.SH CONFIGURING A HOST
+\-print\-config writes the block a host reads, naming this binary by its
+absolute path so the host finds it wherever it was installed;
+\-print\-config\-command names another command instead, such as sysml\-mcp
+when it is on PATH, and \-print\-config\-npx names npx \-y
+@openmbee/sysml\-mcp, which installs the release binary for the host's
+platform from npm on first use, so a machine with Node needs nothing else.
+With \-http (and \-tls\-cert for https) the block names the URL of a server
+already serving that address instead, and with its token (\-token\-file,
+\-token or OPENSYSML_MCP_TOKEN) the Authorization header the host sends,
+written in clear, so such a block belongs in a file the host reads privately,
+not in version control; every host reads the URL form. The hosts, with the
+file each reads, are opencode (opencode.json), claude\-code (.mcp.json),
+cursor (.cursor/mcp.json), codex (~/.codex/config.toml), vscode
+(.vscode/mcp.json), gemini (.gemini/settings.json), devin (Customize > MCPs >
+Add custom MCP).
+.PP
+.RS 2
+.nf
+# List the hosts
+sysml\-mcp \-print\-config
+# The mcp block of opencode.json
+sysml\-mcp \-print\-config opencode
+# Append the [mcp_servers.sysml] table
+sysml\-mcp \-print\-config codex >> ~/.codex/config.toml
+# A block that finds the server on PATH
+sysml\-mcp \-print\-config cursor \-print\-config\-command sysml\-mcp
+# A block that runs the server from npm
+sysml\-mcp \-print\-config vscode \-print\-config\-npx
+# A block reaching http://localhost:8765/mcp
+sysml\-mcp \-print\-config vscode \-http 8765
+# A block reaching a remote server with its token
+sysml\-mcp \-print\-config cursor \-http models.example.org:8443 \e
+    \-tls\-cert server.crt \-tls\-key server.key \-token\-file mcp.token
+.fi
+.RE
+.SH TOOLS
+The tools, by the group that serves them (\-tools), each with the sysml\-grpc
+RPC or sysml flag it stands for. The tool_catalog tool answers this list to
+the client, narrowed to the groups served.
+.TP
+.B tool_catalog
+every group: List the tools this server serves, each with the RPC or sysml
+flag it stands for.
+.TP
+.B apply_model_edit
+lsp: Edit a model by operations on its elements (setValue, rename, addMember,
+delete, move, ...) and answer the text edits; write them with apply.
+.TP
+.B close_document
+lsp: Release a document held open by open_document; the server reads the file
+on disk again.
+.TP
+.B code_actions
+lsp: List the quick fixes and refactorings available for a range of a
+document, each with its edits.
+.TP
+.B completion
+lsp: Propose completions at a position: keywords, names in scope and members
+of the accessed type.
+.TP
+.B definition
+lsp: Find where the name at a position is declared.
+.TP
+.B document_symbols
+lsp: Outline a document: the elements it declares, nested as they are owned.
+.TP
+.B documents
+lsp: List the document definitions declared across the workspace.
+.TP
+.B format
+lsp: Format a document, or a range of it, in the canonical style; write the
+file with apply.
+.TP
+.B hover
+lsp: Explain the element at a position: kind, qualified name, type, value and
+documentation.
+.TP
+.B inlay_hints
+lsp: List the inferred types and values an editor would show inline for a
+document or range.
+.TP
+.B open_document
+lsp: Hold a document open with the given text, analyzed instead of the file on
+disk.
+.TP
+.B references
+lsp: Find every place in the workspace that refers to the element at a
+position.
+.TP
+.B rename
+lsp: Rename the element at a position everywhere in the workspace; write the
+files with apply.
+.TP
+.B render_document
+lsp: Render a document definition of the workspace to Markdown, its queries
+evaluated and its diagrams embedded.
+.TP
+.B render_view
+lsp: Render a declared view or pseudo\-view of a workspace document as
+Mermaid, dot, PlantUML, D2, text or a table.
+.TP
+.B signature_help
+lsp: Describe the invocation enclosing a position: its parameters and the
+active one.
+.TP
+.B update_document
+lsp: Replace the text of a document held open by open_document and answer the
+diagnostics of the new text.
+.TP
+.B views
+lsp: List the views a document declares and the pseudo\-views render_view can
+draw of it.
+.TP
+.B workspace_diagnostics
+lsp: List the errors, warnings and hints of one workspace document or of the
+whole workspace.
+.TP
+.B workspace_info
+lsp: Describe the workspace root and the documents it holds, with their
+diagnostic counts.
+.TP
+.B workspace_symbols
+lsp: Search the workspace's declared elements by name substring.
+.TP
+.B apply_edits
+runtime: Apply workspace edits to a parsed model and answer the edited
+documents (rpc ApplyEdits).
+.TP
+.B compare_results
+runtime: Run the configurations a SysML v1 tool's results index and table the
+tool's distributions beside the runs' (rpc CompareResults, sysml
+\-compare\-results).
+.TP
+.B convert
+runtime: Convert a model between the textual notation, JSON, RDF and XMI (rpc
+Convert, sysml \-convert, sysml \-from, sysml \-id).
+.TP
+.B diagnostics
+runtime: Report every diagnostic of a parsed model, as sysml \-validate does
+(rpc GetDiagnostics, sysml \-validate, sysml \-disable\-lint, sysml
+\-enable\-lint).
+.TP
+.B explain_diagnostic
+runtime: Explain a diagnostic code, or list every code with its summary (sysml
+\-explain).
+.TP
+.B evaluate
+runtime: Evaluate an expression against a parsed model (rpc Evaluate, sysml
+\-eval).
+.TP
+.B evaluate_calc
+runtime: Evaluate a calculation definition or usage (rpc EvaluateCalc, sysml
+\-calc).
+.TP
+.B execute_action
+runtime: Execute an action with bound inputs and report its outputs (rpc
+ExecuteAction, sysml \-action, sysml \-schedule, sysml \-advance, sysml
+\-seed, sysml \-draws, sysml \-clock\-step).
+.TP
+.B execute_state
+runtime: Run a state machine over a sequence of events and report the trace
+(rpc ExecuteState, sysml \-state).
+.TP
+.B export_graphs
+runtime: Export the lowered action and state graphs of a model (rpc
+ExportGraphs, sysml \-graphs).
+.TP
+.B import_data
+runtime: Set the feature values a CSV, TSV, JSON or JSON Lines file assigns,
+one row per element (rpc ImportData, sysml \-import, sysml \-import\-as, sysml
+\-import\-map, sysml \-import\-format, sysml \-import\-dry\-run).
+.TP
+.B instantiate
+runtime: Instantiate a definition or usage and report the object's feature
+values (rpc Instantiate, sysml \-instantiate).
+.TP
+.B list_engines
+runtime: List the analysis engines and whether each is ready (rpc ListEngines,
+sysml \-engines, sysml \-probe).
+.TP
+.B migrate
+runtime: Migrate a SysML v1 model to SysML v2 and report what moved (rpc
+Migrate, sysml \-migrate, sysml \-migration\-report, sysml
+\-migration\-results, sysml \-layout, sysml \-image\-base\-url).
+.TP
+.B parse
+runtime: Parse files or inline sources and answer the roots, diagnostics and a
+model hash (rpc ParseFile, rpc ParseSources, sysml \-strict).
+.TP
+.B query
+runtime: Run an OSLC query against a parsed model (rpc Query, sysml \-query).
+.TP
+.B render_model_document
+runtime: Render a document definition as Markdown or HTML (rpc RenderDocument,
+sysml \-render\-document, sysml \-doc\-form).
+.TP
+.B record_run
+runtime: Run an analysis case and record the runs into the model as
+AnalysisRecords declarations (rpc RecordRun, sysml \-record\-run, sysml
+\-record\-into).
+.TP
+.B render_model_view
+runtime: Render a view as its nodes, edges and compartments (rpc RenderView,
+sysml \-render, sysml \-render\-ports, sysml \-render\-show, sysml
+\-render\-depth, sysml \-render\-compartments).
+.TP
+.B check_behavior
+runtime: Search every schedule of an action or state machine for violated
+properties, deadlocks, failures and divergent values (rpc CheckBehavior, sysml
+\-check\-property, sysml \-check\-diverge, sysml \-check\-input, sysml
+\-check\-assume, sysml \-check\-witness, sysml \-check\-depth, sysml
+\-check\-states, sysml \-check\-unroll, sysml \-check\-timeout).
+.TP
+.B run_analysis
+runtime: Run an analysis case and report its result (rpc RunAnalysis, sysml
+\-analysis, sysml \-engine, sysml \-tool\-dry\-run).
+.TP
+.B run_document_query
+runtime: Run a document query definition and report its rows (rpc
+RunDocumentQuery, sysml \-run\-query).
+.TP
+.B run_runs
+runtime: Run an action or a Monte Carlo case repeatedly and table what the
+runs observed (rpc RunRuns, sysml \-runs, sysml \-observe).
+.TP
+.B run_sweep
+runtime: Run an analysis case over ranges of its parameters (rpc RunSweep,
+sysml \-sweep, sysml \-samples).
+.TP
+.B self_check
+runtime: Apply the reflective SysMLValidation constraints to every element of
+a model (rpc SelfCheck, sysml \-self\-check, sysml \-self\-check\-package).
+.TP
+.B server_info
+runtime: Report the service version and the capabilities it serves (rpc
+GetServerInfo).
+.TP
+.B symbol
+runtime: Describe one element of a parsed model (rpc GetSymbol).
+.TP
+.B validate_instance
+runtime: Validate an instantiated object against its definition, as sysml
+\-validate=<object> does (rpc ValidateInstance).
+.TP
+.B verify_constraint
+runtime: Verify a constraint and answer the verdict (rpc VerifyConstraint,
+sysml \-constraint).
+.TP
+.B verify_requirement
+runtime: Verify a requirement and answer the verdict (rpc VerifyRequirement,
+sysml \-requirement).
+.TP
+.B verify_satisfaction
+runtime: Verify a satisfy relationship and answer the verdict (rpc
+VerifySatisfaction, sysml \-satisfy).
+.TP
+.B advance
+session: Advance the debugged state machine's clock by a duration, firing the
+timed transitions due.
+.TP
+.B check
+session: Check with the SMT solver whether an element's constraints are
+satisfiable.
+.TP
+.B configure
+session: Choose variant selections for a variation model, or enumerate every
+valid configuration.
+.TP
+.B debug_breakpoints
+session: List, set or clear the breakpoints of the debugged action.
+.TP
+.B debug_continue
+session: Run the debugged action or state machine on to its next breakpoint or
+its end.
+.TP
+.B debug_current
+session: Report the debugger's state: the action's tokens and breakpoints, or
+the machine's state, clock and event queue.
+.TP
+.B debug_start
+session: Start debugging an action or a state machine by qualified name.
+.TP
+.B debug_step
+session: Step the debugged action or state machine once.
+.TP
+.B debug_stop
+session: Stop debugging and discard the debugged executors.
+.TP
+.B explain
+session: Explain why an element's constraints are unsatisfiable, naming the
+conflicting ones.
+.TP
+.B features
+session: List a runtime instance's feature values, with its object graph.
+.TP
+.B instances
+session: List the runtime instances the session holds.
+.TP
+.B optimize
+session: Optimize an analysis case's objective with the solver and answer the
+optimum.
+.TP
+.B render_run
+session: Render a run's trace as a timeline or a sequence diagram.
+.TP
+.B repl_command
+session: Run one % meta command of the REPL and answer its output lines.
+.TP
+.B runs
+session: Run an action repeatedly, or a Monte Carlo case, and table the
+outcomes.
+.TP
+.B send
+session: Send a signal to the debugged state machine.
+.TP
+.B session_clear
+session: Clear a session's declarations, instances and debuggers.
+.TP
+.B session_close
+session: Close an open REPL session.
+.TP
+.B session_eval
+session: Evaluate an expression in a session and answer its value.
+.TP
+.B session_list
+session: List the open REPL sessions.
+.TP
+.B session_load
+session: Load model files under the workspace root into a session and answer
+the diagnostics.
+.TP
+.B session_open
+session: Open a REPL session over a workspace and answer its id.
+.TP
+.B session_print
+session: Print a session's declarations back as SysML notation.
+.TP
+.B session_run
+session: Run an action, state machine, calculation or analysis case in a
+session and answer the verdict.
+.TP
+.B session_save
+session: Preview a session's model as a file under the workspace root, or
+write it with apply.
+.TP
+.B session_submit
+session: Submit declarations to a session and answer what was declared and the
+diagnostics.
+.TP
+.B solve
+session: Synthesize feature values satisfying an element's constraints with
+the solver.
+.TP
+.B sweep
+session: Sweep a calculation over a range or sampled values and table the
+results.
+.SH EXIT STATUS
+The status reports how the session ended:
+.TP
+.B 0
+The protocol was served to its end: the client closed the stream, or the
+process was told to stop.
+.TP
+.B 1
+The server could not start, as when the \-http address is in use, or the
+session ended in a protocol error.
+.TP
+.B 2
+The command line could not be acted on.
+.SH ENVIRONMENT
+.TP
+.B OPENSYSML_LIBRARY_PATH
+Directory to load the SysML/KerML standard library from, instead of the copy
+embedded in the binary.
+.TP
+.B OPENSYSML_LIBRARY_ROOTS
+Directories, separated as PATH is, to look for installed projects under when a
+loaded file belongs to a project (a directory holding .project.json), besides
+the project's own well\-known library directory (.sysand/lib).
+.TP
+.B OPENSYSML_MAX_STEPS
+Expression evaluations one run may spend before it is reported as a runaway.
+Default 10000000.
+.TP
+.B OPENSYSML_MAX_ACTION_STEPS
+Token\-flow steps one action run may perform. Default 1000000.
+.TP
+.B OPENSYSML_MAX_EVENTS
+Events one state machine run may dispatch. Default 1000000.
+.TP
+.B OPENSYSML_MAX_DO_STEPS
+Do actions one state machine run may perform. Default 5000000.
+.TP
+.B OPENSYSML_MAX_ELEMENTS
+Collection elements one evaluation may hold, which bounds the memory a run
+holds rather than the work it does. Default 1000000.
+.TP
+.B OPENSYSML_MAX_CALC_DEPTH
+Nested calc invocations one run may hold on the stack, which is what a
+recursion spends. Default 10000, ceiling 25000.
+.TP
+.B OPENSYSML_MAX_SWEEP_RUNS
+Runs one parameter sweep or sample may make, each a whole analysis or calc run
+of its own with its own budgets. Default 1000.
+.TP
+.B OPENSYSML_MAX_INTEGER_BITS
+Bits the magnitude of one Integer a run computes may take; Integers are
+otherwise unbounded, and a result past it, such as a large power, is refused
+before it is computed. At least 64, so every machine\-word Integer fits;
+default 1048576.
+.PP
+Each variable above also answers to its legacy SYSML_\-prefixed name
+(SYSML_MAX_STEPS for OPENSYSML_MAX_STEPS, and so on), which remains accepted.
+When both are set and the OPENSYSML_ value is non\-empty, the OPENSYSML_ value
+wins; setting only the legacy name prints a one\-time deprecation warning on
+standard error.
+.PP
+A budget bounds one run \(em one evaluation, one instantiation, one calc
+invocation, one action, one state machine \(em not a whole session, so a long
+session of small operations never exhausts one. A run started inside another
+shares the outer run's budget.
+.SH REPORTING BUGS
+Report bugs at https://github.com/Open\-MBEE/OpenSysML/issues.
+.SH SEE ALSO
+sysml(1), sysml\-lsp(1), sysml\-grpc(1),
+https://github.com/Open\-MBEE/OpenSysML