Skills

frankieew/agent-skills

9 skills32 total installsGithubGithubGitHub

pr-worktree-workflow

11

mathlib-workflow

6

tmux

4

mathlib-style

4

lmfdb-cli

2

code-rules

2

ssh

1

openclaw-rss

1

mathlib-contributing

1