Yes, there is a way to do this.
Let's say this source file is named `mitred.curv`.
You can render the file using
curv mitred.curv
but this is really an abbreviation for
curv -x 'file "mitred.curv"'
The '-x' flag interprets the command line argument as a Curv expression, rather than as a file name.
To change the value of 'boxMitred' from the command line, you can use:
curv -x 'file "mitred.curv" {boxMitred:false}'
That will work for changing parameters, for the purpose of outputting a '.obj' file.
However, an unfortunate side effect of this technique is that the value pickers (the check box, in this case) disappear from the GUI. This is a minor bug. I haven't been setting parameters from the command line during interactive use, or I would have noticed and fixed this already.
Doug Moen.