métier
Administrateurs de réseaux et de systèmes informatiques
description
Manage Lean toolchain and Mathlib versions with backup, upgrade, and rollback support
Langue du texte source : anglais
mis à jour
Skills dans ce dépôt
benbrastmckie/nvim - Page 5
SkillsMP a collecté 167 skills depuis benbrastmckie/nvim. Ouvrez un skill pour examiner sa source et ses détails.
benbrastmckie/nvimAffichage de 7 skills collectés sur 167.
skill
métier
description
mis à jour
métier
Développeurs de logiciels
description
Implement Python code. Invoke for Python-language implementation tasks.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Research Python development tasks. Invoke for Python-language research.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Implement Typst documents. Invoke for Typst-language implementation tasks.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Research Typst documentation tasks. Invoke for Typst-language research.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Implement Z3 constraints. Invoke for Z3-language implementation tasks.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Research Z3/SMT tasks. Invoke for Z3-language research.
Langue du texte source : anglais
mis à jour
Affichage de 7 skills collectés sur 167.