Adding new cli flags

Author: Alex Kim

documentation/cli/execute.mdx

@@ -95,15 +95,13 @@ The endpoint to deploy to. Overrides any `ENDPOINT` environment variable set man
 
 **Common Endpoints:**
 
-<!-- markdown-link-check-disable -->
 
 |    Network     |               Endpoint               |
 | :------------: | :----------------------------------: |
 | Devnet (local) |        https://localhost:3030        |
 |    Testnet     | https://api.explorer.provable.com/v1 |
 |    Mainnet     | https://api.explorer.provable.com/v1 |
 
-<!-- markdown-link-check-enable -->
 
 #### `--devnet`
 
@@ -149,6 +147,27 @@ Specifies the priority fee for the deployment transaction(s) delimited by `|` an
 
 Specifies the record(s) to pay for fees privately, delimited by `|` and used in order. The fees must either be valid plaintext, ciphertext, or `default`. If not specified, then transaction fees will be public.
 
+
+#### `--with <WITH>...`
+
+Specifies one or more additional programs to load into the VM at runtime. Each entry can be:
+- A path to a local `.aleo` bytecode file (e.g. `./extra_prog.aleo`)
+- The name of a remote program to fetch from the network endpoint (along with its transitive dependencies)
+
+Multiple programs can be provided as a comma-separated list. When specifying local `.aleo` files, they must be listed in topological order — i.e. a dependency must appear before any program that depends on it.
+
+This is useful when a program has dynamic dependencies that are not declared in `program.json` and therefore cannot be resolved at build time.
+
+```bash
+leo execute <FUNCTION_NAME> <INPUTS> --with ./extra_prog.aleo
+leo execute <FUNCTION_NAME> <INPUTS> --with program1.aleo,program2.aleo
+```
+
+:::note
+When loading remote programs, an `--endpoint` must be set.
+:::
+
+
 #### `--consensus-heights <CONSENSUS_HEIGHTS>`
 
 Specifies the consensus heights to use, delimited by `,`. This should only be set if you are using a custom devnet.

documentation/cli/run.mdx

@@ -82,4 +82,10 @@ leo run <FUNCTION_NAME> -- <INPUT_0> -- <INPUT_1> ...
     Whether the network is a devnet. If not set, defaults to the `DEVNET` environment variable.
 --consensus-heights <CONSENSUS_HEIGHTS>
     Optional consensus heights to use. This should only be set if you are using a custom devnet.
+--with <WITH>...
+    Comma-separated list of additional programs to load into the VM at runtime.
+    Each entry can be a path to a local `.aleo` bytecode file or the name of a
+    remote program to fetch (with its transitive dependencies) from the network
+    endpoint. Local files must be listed in topological order (dependencies
+    before the programs that depend on them).
 ```