Skills

frankieew/agent-skills

9 skills34 total installsGithubGithubGitHub

pr-worktree-workflow

11

mathlib-workflow

6

mathlib-style

5

tmux

4

code-rules

3

lmfdb-cli

2

ssh

1

openclaw-rss

1

mathlib-contributing

1