Skip to main content
skillsmp

Menu

Exécutez n'importe quel Skill dans Manus
en un clic
typednotes
Profil créateur GitHub

typednotes

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

github/typednotesplus grand dépôt : hale
skills collectés
1
dépôts
1
mis à jour
2026-04-11
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.

#01
hale
1 skills · 2026-04-11
Développeurs de logiciels
1 catégories métier · 100% classifié
100%part
explorateur de dépôts

Dépôts et skills représentatifs

#001
hale
1 skills90mis à jour 2026-04-11
100% du créateur
haskell-mapping
Développeurs de logiciels

Look up the Haskell-to-Lean module mapping for the hale project. Use when porting a Haskell module, looking up which Lean module corresponds to a Haskell module, adding a new module to the mapping, or understanding the folder organization policy.

2026-04-11
1 dépôts affichés sur 1
Tous les dépôts sont affichés
typednotes Agent Skills | SkillsMP