Ejecuta cualquier Skill en Manus
con un clic
con un clic
Ejecuta cualquier Skill en Manus con un clic
ComenzarRepositorio de GitHub
.dotfiles
.dotfiles contiene 2 skills recopiladas de SilvaEmerson, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.
skills recopiladas
2
Stars
4
actualizado
2026-06-08
Forks
0
Cobertura ocupacional
1 categorías ocupacionales · 100% clasificado
explorador de repositorios
Skills en este repositorio
creador/repositorio/skill
skill
ocupación
descripción
actualizado
quint
Desarrolladores 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
Desarrolladores 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