Narya Exec
narya_execRun Narya commands sequentially in a live session for interactive proof development, stopping at the first failure; returns outputs, messages, and new holes.
Instructions
Run Narya commands in a session (def, axiom, echo, synth, notation, import, show, undo, ...), one after the other, stopping at the first failure. Returns each command's output, messages and new holes. Definitions made here are not in the file; narya_sync retracting past them undoes them too.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| timeout | No | ||
| commands | Yes | ||
| session_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||