mattrobball

Visão por repositório de 1 skills coletadas em 1 repositórios do GitHub.

skills coletadas

repositórios

atualizado

2026-04-01

mapa de repositórios

Onde as skills estão

Principais repositórios por número de skills coletadas, com sua participação neste catálogo do criador e sua distribuição ocupacional.

explorador de repositórios

criador/repositório/skill

skill

ocupação

descrição

atualizado

Improve Lean proofs: style, readability, and golfing. Use when asked to improve, golf, compress, shorten, or clean up Lean proofs.

Mostrando 1 de 1 repositórios

Todos os repositórios foram exibidos