The CLI currently only accepts integer arguments via --. Attempting vera run file.vera --fn greet -- "hello" fails with "Invalid integer argument(s)". This is tracked as #263 but SKILL.md's toolchain section doesn't mention it.

Add a note after the vera run file.vera --fn f -- 42 line:

Note: CLI arguments after `--` are currently limited to integers (#263).
For functions taking non-integer parameters, use `vera test` for
contract-driven testing or write a `main` wrapper.

This is the single highest-impact documentation fix — every agent trying to test string functions will hit this.