Migrated from nju-cli/opencode-nju-cli