Manusで任意のスキルを実行
ワンクリックで
ワンクリックで
ワンクリックでManusで任意のスキルを実行
始めるGitHub リポジトリ
.dotfiles
.dotfiles には SilvaEmerson から収集した 2 個の skills があり、リポジトリ単位の職業カバレッジとサイト内 skill 詳細ページを表示します。
収集済み skills
2
Stars
4
更新
2026-06-08
Forks
0
職業カバレッジ
1 件の職業カテゴリ · 100% 分類済み
リポジトリエクスプローラー
このリポジトリの skills
クリエイター/リポジトリ/skill
skill
職業分類
説明
更新
quint
ソフトウェア開発者
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
ソフトウェア開発者
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