Browse a source
Each source has a pill at the top of the page, with the number of skills it holds. Personal lists your own skills on your account remote that this machine does not have yet. An amber dot marks a source that was not fetched in the last two days, or never. Select a pill to open the source. Its card shows:- Its name. Select it to open the repository in your browser.
- Its full URL under the name, with the pin it follows after
#. - Read-only when you cannot write to it.
- Skills, Branch, Commit and Fetched: how many skills it holds, the branch it follows, the commit of its last fetch and when that was.
Add skills
- Select the skills you want, or select the checkbox above them to select every skill you do not have yet. Select it again once all are selected to clear the selection.
- In the bar at the bottom, choose the agents to add them to.
- Select Add.
Add a source
- Select Add source.
- Paste the repository’s URL, or
owner/namefor GitHub. Add#branchor#tagto pin it. - Select Add.
Refresh a source
On the source’s card, select Refresh. agentx fetches the source again and lists its skills from the new fetch.Remove a source
- On the source’s card, select Remove.
- To remove the skills you installed from it as well, select the option that also removes them. It lists them by name, and shows only when this machine has skills from the source.
- Select Remove.
From the command line
agentx source adds, fetches, lists and removes sources, and agentx skill installs and removes skills.