Community研究&データ分析github.com

theinfosecguy/razin

静的解析スキャナー。LLMエージェントスキルのSKILL.mdに対して決定論的なセキュリティ検出を行います。

razin とは?

Razinは、LLMエージェント(Claude Code、Cursor、Codexなど)向けに記述されたSKILL.mdファイルに特化した静的解析セキュリティスキャナーです。開発者がエージェントのスキルを安全に設計・実装する上で、既知の脆弱性パターンや設定ミス、潜在的な悪用経路を決定論的に(誤検出を最小限に抑えて)検出します。このツールは、セキュリティチェックをCI/CDパイプラインに統合し、エージェントスキルのライフサイクル全体で一貫したセキュリティ評価を提供します。Razinはルールベースの解析エンジンとSKILL.mdのメタデータや指示ブロックを解析することで、有害なプロンプトインジェクションや権限昇格のリスクを特定し、セキュリティチームやエージェント開発者に具体的な修正ガイダンスを提供します。

対応✓Claude Code~Codex CLI~Cursor
npx skills add theinfosecguy/razin

Installed? Explore more 研究&データ分析 skills: affaan-m/uspto-database, affaan-m/scholar-evaluation, affaan-m/literature-review · View all 6 →

お気に入りのAIに質問する

このエージェントスキルを事前に読み込んだ状態で新しいチャットを開きます。

ドキュメント

razin は何をしますか?

静的解析スキャナー。LLMエージェントスキルのSKILL.mdに対して決定論的なセキュリティ検出を行います。

概要

Razinは、LLMエージェントスキル(Claude Code、Cursor、Codexなど)のSKILL.mdファイルを解析し、決定論的なセキュリティ所見を提供する静的解析ツールです。スキルのメタデータ、説明、指示、環境変数、権限設定などから、既知の脆弱性パターンや不適切な設定を機械的に検出します。

特徴

  • 決定論的解析: ヒューリスティックや確率的推論に頼らず、明確なルールに基づいてセキュリティ問題を特定します。
  • スキル特化型: 汎用的なSASTツールとは異なり、SKILL.mdの構造とLLMエージェントのコンテキストに最適化されています。
  • 低誤検出率: ルールは実世界のエージェントスキルで確認されたパターンに基づいて設計されています。
  • CI/CD統合: コマンドラインから簡単に実行でき、GitHub ActionsやGitLab CIなどのパイプラインに組み込めます。

使用方法

# 解析対象のSKILL.mdを指定
razin scan path/to/SKILL.md

# ディレクトリ内の全SKILL.mdを再帰的に解析
razin scan --recursive ./skills

# JSON形式で出力
razin scan --format json path/to/SKILL.md

検出されるセキュリティ所見の例

  • 不適切な権限: スキルが必要以上に高い権限(例:ルートアクセス、全ファイル読み取り)を要求している。
  • 環境変数の漏洩: スキルの説明や指示にシークレットやAPIキーがハードコードされている。
  • プロンプトインジェクションの脆弱性: ユーザー入力がエージェントのプロンプトに直接組み込まれるパターン。
  • 未検証の外部リソース読み込み: URLやファイルパスがバリデーションなしで使用されている。

対応プラットフォーム

  • Claude Code
  • Cursor
  • Codex
  • その他SKILL.md形式をサポートするLLMエージェント

関連リソース

ライセンス

MIT

関連スキル