Settings

Profile editing isn't wired up yet — this is a single-agent tool, so this section is mostly a placeholder for now.