If I already have the default bots installed, the TUI should not have an install button

[discdiver]

First check

• [X] I added a descriptive title to this issue.
• [X] I used the GitHub search to look for a similar issue and didn't find it.
• [X] I searched the Marvin documentation for this feature.

Describe the current behavior

I already have the default bots installed. I click on "Bots". The TUI has a "Install default bots" button, which is confusing. A user might think the bots are not installed and that they need to install each bot individually.

Describe the proposed behavior

The "Install Default Bots" button should only show if the default bots are not installed.

Example Use

No response

Additional context

No response

[nickkatsios]

Hi, i could work on this if that's okay.

[jlowin]

One issue here is that we don't currently have a concept of what a "default" bot is (or a "bot library"), so determining whether all of the bots exist and are unmodified is an open question