cin >> a >> b;
No, you have to use stdin.readLine and parse it yourself:
import strutils
let args = stdin.readLine.split.map(parseInt)
let a = args[0]
let b = args[1]
I'd like to see a macro that reinvents C's scanf in the stdlib (but type-safe of course!), but I don't think it exists yet.