mattrobball

Vue par dépôt de 1 skills collectés dans 1 dépôts GitHub.

skills collectés

dépôts

mis à jour

2026-04-01

carte des dépôts

Où se trouvent les skills

Principaux dépôts par nombre de skills collectés, avec leur part dans ce catalogue créateur et leur couverture métier.

explorateur de dépôts

créateur/dépôt/skill

skill

métier

description

mis à jour

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

1 dépôts affichés sur 1

Tous les dépôts sont affichés