Skip to main content
skillsmp

Menú

Ejecuta cualquier Skill en Manus
con un clic
SilvaEmerson
Perfil de creador de GitHub

SilvaEmerson

Vista por repositorio de 2 skills recopiladas en 1 repositorios de GitHub.

github/SilvaEmersonrepositorio más grande: .dotfiles
skills recopiladas
2
repositorios
1
actualizado
2026-06-08
mapa de repositorios

Dónde viven las skills

Repositorios principales por número de skills recopiladas, con su participación en este catálogo del creador y su variedad ocupacional.

#01
.dotfiles
2 skills · 2026-06-08
Desarrolladores de software
1 categorías ocupacionales · 100% clasificado
100%participación
explorador de repositorios

Repositorios y skills representativas

#001
.dotfiles
2 skills40actualizado 2026-06-08
100% del creador
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
Mostrando 1 de 1 repositorios
Todos los repositorios cargados