Exécutez n'importe quel Skill dans Manus
en un clic
en un clic
Exécutez n'importe quel Skill dans Manus en un clic
CommencerDépôt GitHub
.dotfiles
.dotfiles contient 2 skills collectées depuis SilvaEmerson, avec une couverture métier par dépôt et des pages de détail sur le site.
skills collectés
2
Stars
4
mis à jour
2026-06-08
Forks
0
Couverture métier
1 catégories métier · 100% classifié
explorateur de dépôts
Skills dans ce dépôt
créateur/dépôt/skill
skill
métier
description
mis à jour
quint
Développeurs de logiciels
Expert in Quint formal specification language, simulator, model checking, and current CLI/docs behavior. Use for `.qnt` specs, Quint syntax, built-ins, `quint run|test|verify|repl|compile`, Apalache/TLC backends, invariants, temporal properties, and debugging Quint errors.
2026-06-08
alloy
Développeurs de logiciels
Alloy, Alloy 6, .als, sig, fact, pred, assert, run, check. Use when working on Alloy models, relational specs, bounded analysis, temporal modeling, or Alloy Analyzer workflow.
2026-06-08