Execute qualquer Skill no Manus
com um clique
com um clique
Execute qualquer Skill no Manus com um clique
ComeçarRepositório GitHub
.dotfiles
.dotfiles contém 2 skills coletadas de SilvaEmerson, com cobertura ocupacional por repositório e páginas de detalhe dentro do site.
skills coletadas
2
Stars
4
atualizado
2026-06-08
Forks
0
Cobertura ocupacional
1 categorias ocupacionais · 100% classificado
explorador de repositórios
Skills neste repositório
criador/repositório/skill
skill
ocupação
descrição
atualizado
quint
Desenvolvedores de software
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
Desenvolvedores de software
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