Personal agent skills

Personal agent skills managed with a bare Git repository.

Setup

git clone --bare git@github.com:eimerreis/skills.git "$HOME/GitHub/skills"
alias skills='/usr/bin/git --git-dir=$HOME/GitHub/skills/ --work-tree=$HOME/.agents/skills'
skills checkout
skills config status.showUntrackedFiles no

Add the alias to your shell configuration (for example, ~/.zshrc) to keep it available.

Use

Only explicitly added skill directories are tracked:

skills add lean-grill
skills commit -m "Add lean-grill skill"
skills push