they use a web based vscode like (cider) with a custom agent