Run any Skill in Manus
with one click
with one click
Run any Skill in Manus with one click
Get StartedGitHub repository
.dotfiles
.dotfiles contains 2 collected skills from SilvaEmerson, with repository-level occupation coverage and site-owned skill detail pages.
skills collected
2
Stars
4
updated
2026-06-08
Forks
0
Occupation coverage
1 occupation categories · 100% classified
repository explorer
Skills in this repository
creator/repo/skill
skill
occupation
description
updated
quint
software-developers
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
software-developers
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