command-line tools for devsurf