エージェントスキル向けセキュリティスキャナー
AI Agent Skills 向けのベストエフォート型セキュリティスキャナで、プロンプトインジェクション、データ流出、悪意のあるコードパターンを検出します。パターンベース検出(YAML + YARA-X)、AST およびデータフロー解析、オプションの LLM-as-a-judge、そして型付き検出器ファクトに対する境界付き CEL 決定レイヤーを組み合わせています。
重要: このスキャナはベストエフォート型の検出を提供するものであり、網羅的または完全なカバレッジを保証するものではありません。検出結果が何も返らないスキャンは、そのスキルに脅威が一切ないことを保証するものではありません。以下のスコープと制限を参照してください。
Agent Skills 仕様に準拠した OpenAI Codex Skills および Cursor Agent Skills 形式をサポートします。--lenient を指定すると、Claude Code の .claude/commands/*.md やフラットな markdown スキルリポジトリなど、非標準形式もスキャンします。
cel-go v0.32.0 ランタイムを使用し、決定論的検出の後、オプションの LLM 解析の前に、境界付きファクトを相関分析**Cisco AI Discord に参加**して、議論したり、フィードバックを共有したり、チームとつながりましょう。
Skill Scanner は検出ツールです。既知および推定されるリスクパターンを特定しますが、セキュリティを証明するものではありません。
主な制限:
最終的なコア + CEL 開発ベンチマークには、5,256 件の悪意あるパッケージと 1,338 件の無害な MaliciousSkillBench パッケージが含まれています。origin/main と比較して、現在のスキャナは F1 を 32.92% から 47.73% に、再現率を 19.88% から 31.43% に向上させ、同時に無害な偽陽性率を 3.59% から 1.05% に低減しました。適合率は 99.16% です。5 回の CEL-shadow 実行は正確かつ決定論的でした。CEL は 154 件の候補を評価し、抑制を提案することもフォールバックすることもありませんでした。
ロックされたソース非重複分割はより弱い結果です: TP=65、FP=42、TN=503、FN=774 で、適合率 60.75%、再現率 7.75%、F1 13.74%、FPR 7.71% です。これは origin/main(7.40%)より F1 を改善しますが、FPR は悪化(3.67%)するため、昇格ゲートを通過しません。したがって、バンドルされているすべての CEL ルールは shadow のままです。この変更は CEL 抑制を一切昇格させません。
互換性および補足チェックでは、111 件の公式 Codex、Claude Code、Cursor スキル(30 件の MEDIUM+ および 8 件の HIGH/CRITICAL パッケージ)で、CEL-OFF/CEL-SHADOW の検出結果が同一であり、5 回の実行が安定していました。NotInject ハードネガティブセットでは 0/339 のアクション可能な一致でした。HarmfulSkillBench では 7/200 がアクション可能、6/200 が HIGH+ パッケージで、1 件のサンプルが隔離されました。一方、OpenSkillRisk では 76/263 がアクション可能なパッケージで、2 件のホストが隔離されました。後者 2 つはポジティブのみの再現率診断であり、適合率や FPR を測定できません。オプションの ATR 結果はこのリリースのスコープ外です。方法論、来歴、信頼区間、制限については検出評価とロールアウトを参照してください。
| ガイド | 説明 |
|---|---|
| クイックスタート | 5 分で始める |
| 推奨設定 | どの作業に何を実行すべきか、その理由、設定方法 |
| アーキテクチャ | システム設計とコンポーネント |
| CEL 決定レイヤー | 型付きファクト、安全境界、ロールアウトモード、テレメトリ |
| 脅威タクソノミー | 例を含む完全な AITech 脅威タクソノミー |
| LLM アナライザー | LLM の設定と使用方法 |
| System One アナライザー | オプションの助言的スクリーニング層と、それがゲートになれない理由 |
| Meta-Analyzer | 偽陽性フィルタリングと優先順位付け |
| 振る舞いアナライザー | データフロー解析の詳細 |
| スキャンポリシー | カスタムポリシー、プリセット、チューニングガイド |
| ポリシークイックリファレンス | ポリシーセクションと設定項目のコンパクトなリファレンス |
| 測定結果 | 公開されたすべての数値と、そのコーパス、母集団、モデル |
| ルール作成 | シグネチャ、YARA、Python ルールの追加方法 |
| GitHub Actions | CI/CD 統合用の再利用可能なワークフロー |
| API リファレンス | REST API ドキュメント |
| 開発ガイド | コントリビューションと開発環境のセットアップ |
このチェックアウトおよびこれらの変更を含むリリースの前提条件: CPython 3.11–3.14 および uv(推奨)または pip
このブランチの CEL 変更を含むリリースでは、必要なヘルパーが wheel に含まれます。別途 CEL 用の extra はありません。そのリリースは CPython 3.11–3.14 用に設定されていますが、ソースインストールではヘルパーをビルドするために Go 1.27.1+ が追加で必要です。公開されるまでの間、現在 PyPI で提供されているパッケージは異なる互換性契約を持っている可能性があります。詳細はインストールと設定を参照してください。```bash
uv pip install cisco-ai-skill-scanner
pip install cisco-ai-skill-scanner
<details>
<summary><strong>クラウドプロバイダー拡張機能</strong></summary>```bash
# AWS Bedrock support
pip install cisco-ai-skill-scanner[bedrock]
# Google AI Studio / Gemini support
pip install cisco-ai-skill-scanner[google]
# Google Vertex AI support
pip install cisco-ai-skill-scanner[vertex]
# Azure OpenAI support
pip install cisco-ai-skill-scanner[azure]
# All cloud providers
pip install cisco-ai-skill-scanner[all]
export SKILL_SCANNER_LLM_API_KEY="your_api_key" export SKILL_SCANNER_LLM_MODEL="claude-3-5-sonnet-20241022"
export SKILL_SCANNER_LLM_REASONING_EFFORT="low"