Skip to main content
skillsmp

Menu

Execute qualquer Skill no Manus
com um clique
SilvaEmerson
Perfil de criador do GitHub

SilvaEmerson

Visão por repositório de 2 skills coletadas em 1 repositórios do GitHub.

github/SilvaEmersonmaior repositório: .dotfiles
skills coletadas
2
repositórios
1
atualizado
2026-06-08
mapa de repositórios

Onde as skills estão

Principais repositórios por número de skills coletadas, com sua participação neste catálogo do criador e sua distribuição ocupacional.

#01
.dotfiles
2 skills · 2026-06-08
Desenvolvedores de software
1 categorias ocupacionais · 100% classificado
100%participação
explorador de repositórios

Repositórios e skills representativas

#001
.dotfiles
2 skills40atualizado 2026-06-08
100% do criador
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
Mostrando 1 de 1 repositórios
Todos os repositórios foram exibidos