GitHub repos by agent-fun

1 public repo by agent-fun in the catalog, most starred first.