semantic-scala｜AIスキル大辞典

このSkillでできること

✓Scalaの具体的な型、エフェクト、シンボルに関する不確実性を調査する
✓ビルド情報やSemanticDBに基づく限定的な意味論的証拠を提示する
✓対象を指定したソースマッピングやポイント証拠を扱う
✓Codex向けのsemantic-scalaポリシーとして利用する

使い方

STEP 1

Scalaプロジェクトで、型やビルドの事実が作業結果を左右する場面で明示的に呼び出す

STEP 2

リポジトリのsemantic-scalaポリシーを権威ある方針として読み、適用する

STEP 3

対象指定が必要な場合は、対象とScala軸を明確にして調査する

STEP 4

最終的な正しさはコンパイラ、ビルド、テストの結果で確認する

Skillのインストール

AIにこのSkillを追加してもらう

GitHub URLごとCodexやClaude Codeへ渡し、現在の環境に合う方法を判断してもらいます。

このGitHubリポジトリにあるSkillを確認し、現在の環境に適した方法でインストールしてください。
インストール後、正常に利用できることを確認し、基本的な使い方も簡潔に説明してください。

Repository:
https://github.com/DmytroMitin/scala-semantic-harness

このSkillを使うプロンプト例

Skill名を明示すると、意図したSkillを使わせやすくなります。自動発動型では必須とは限りません。

Scalaコードのこの変更について、型・エフェクト・シンボル・SemanticDBの不確実性が結果に影響するか、semantic-scalaポリシーに従って確認してください。

出力例を見る

限定的なSemanticDBおよびビルド由来の証拠を示します。ただし、最終的な正しさはScalaコンパイラ、ビルド、テストで確認してください。

安全性チェック

自動解析による参考情報です。Skillの安全性を保証するものではありません。

外部API通信検出あり

Shellコマンド実行明確な記述なし

ファイル読み取り明確な記述なし

ファイル書き込み明確な記述なし

ネットワークアクセス検出あり

認証情報明確な記述なし

検出根拠を見る

network: all 32 public Maven primaries. Its [GitHub prerelease](https://github.com/DmytroMitin/scala-semantic-harness/releases/tag/0.1.0-alpha.3) has zero uploade
network: bash cs install --default-channels=false \ --channel https://raw.githubusercontent.com/DmytroMitin/scala-semantic-harness/main/distribution/coursier/ch

semantic-scala

このSkillでできること

使い方

Skillのインストール

AIにこのSkillを追加してもらう

このSkillを使うプロンプト例

安全性チェック

関連Skill

masc-pr-patrol

build

career-ops