SecHelix

ほとんどの AI セキュリティツールは、より多くの問題を見つけようとします。SecHelix は、自らの判断が誤りであることを証明しようとします。

SecHelix

候補となる検出事項はすべて、反証だけを目的とする独立した検証器に送られます。レポートでは、何を、なぜ反証したのかを確認できます。また、実際に確認できなかった場合は、問題なしを示す PASS ではなく INCOMPLETE を返します。

オープンソースの Apache-2.0 ライセンスで、所有しているコード、またはテストを許可されたコードを対象とします。Claude Code、Codex、Copilot など、Agent Skills 対応エージェントで動作します。Python ランタイムは任意です。

コーディングエージェントは、次の作業に利用できます。

• 攻撃対象領域と信頼境界をマッピングする。
• プロジェクトに該当するセキュリティチェックだけをレビューする。
• 認証、認可、ビジネスロジック、インジェクション、SSRF、ファイル、サプライチェーン、AI/MCP など、さまざまなセキュリティ領域を調査する。
• 推測を報告するのではなく、重要な候補を検証する。
• 根本原因を修正する。
• 回帰を証明するテストを追加して再テストする。
• 明確なリリース判断を返す。

90 秒で動作を確認する

git clone https://github.com/omarmohelal/SecHelix && cd SecHelix
python examples/expense-api/prove.py

候補となる問題が 2 つある、小規模なマルチテナント API です。1 つは実際のテナント間読み取りで、スキャナーは見逃します。エンドポイントに認可チェック自体はあるものの、確認している対象が違うためです。もう 1 つは、すべてのパターンマッチャーが検出する f 文字列の SQL ですが、実際には悪用できません。

ウォークスルー、根本原因、2 行の修正、回帰を証明するテストはこちら： examples/expense-api。

同じテストをブラウザーで試すこともできます。10 ケースのうち 3 つはダミーで、登録は不要です： 本物のバグとダミーを見分けられますか？

インストール

Agent Skills 対応のコーディングエージェントにおすすめです。

npx skills@latest add omarmohelal/SecHelix --skill sechelix

次に、レビューするリポジトリをコーディングエージェントで開きます。このスキルがインストールするのは手順とデータのみで、実行可能コードは含まれません。以下の任意のランタイムは、別途明示的にインストールします。

コンパクト版の sechelix-lite は、ランタイム不要の単一レビュー用スキルです（約 200 行と 5 つのリファレンス）。スキルディレクトリや、コンテキストの使用量を抑えたいホスト向けです。詳しくは docs/distribution/awesome-copilot.md をご覧ください。

使用方法

セキュリティ監査の全体実施

エージェントに次の内容を入力します。

Use SecHelix for a complete authorized security audit of this repository.
Start STATIC and use LOCAL only if it is safe and useful.
Map the attack surface and trust boundaries first.
Verify important candidates before reporting them.
Fix root causes, add regression tests, retest, and give me the final release gate.

簡易セキュリティレビュー

Use SecHelix to triage this repository for security issues.
Prioritize authentication, authorization, business logic, secrets, injection, SSRF, file handling, supply chain, dangerous configuration, and AI/MCP surfaces.
Return evidence-backed findings and clearly mark anything unproven.

AI で構築したアプリのリリース監査

AI 生成、エージェント生成、迅速なプロトタイプ、またはバイブコーディングで作成したアプリケーションをリリースする前に使用します。

Use SecHelix's AI-Built App Launch Audit on this authorized application.
Evaluate launch checks 01-36 from references/ai-built-app-launch.md.
Do not mark PASS without exact code, configuration, policy, test, log, or safe runtime evidence.
For every FAIL or security-relevant UNKNOWN, give the realistic failure mode, smallest root-cause fix, and exact safe verification step.
After fixes, re-run the failed/unknown checks and produce the normal SecHelix release gate.

リリースプロファイルでは、秘密情報、認証・認可、ユーザー間のデータ分離、データベースやストレージの権限、デバッグ情報の露出、入力検証、SQL/NoSQL インジェクション、XSS/CSRF、アップロード、ディレクトリトラバーサル、SSRF、パスワードリセット、セッション/JWT、CORS、レート制限、ステージング環境、デフォルトの認証情報、Webhook、支払いと利用権限、IDOR/BOLA、機密ログ、本番用成果物に関する、リリース前に起こりやすい実践的な問題を網羅しています。

プルリクエストをレビューする

Review this PR with SecHelix.
Focus on security changes introduced by the diff, verify important candidates, and tell me whether the PR introduces a verified blocker or known risk.

検出事項を修正する

Use SecHelix Fix Mode on the verified findings.
Fix the root cause, look for variants of the same bug, add security regression tests, and retest the original finding.

コピーして使えるワークフローの一覧はこちら：コマンドクックブック。

SecHelix に何を依頼すればよいですか？

目標	依頼する内容
リポジトリ全体のレビュー	complete security audit
まずは手早く確認	security triage
リリース前の AI 生成／バイブコーディングアプリ	AI-Built App Launch Audit
アクセス制御の不備	authorization / IDOR / BOLA audit
ログインとセッション	authentication / session / OAuth audit
入力処理	injection / XSS / SSRF / files audit
決済とワークフロー	business logic / race / idempotency audit
依存関係と CI	supply chain / CI/CD audit
LLM、エージェント、ツール	AI / Agent / MCP security audit
コード変更	PR security review
既に検証済みの問題	Fix Mode
リリース判断	release gate
共有可能な出力	security report

特別なスラッシュコマンドを覚える必要はありません。SecHelix は主にスキルとして機能します。実施してほしいセキュリティ作業をコーディングエージェントに伝えてください。

レビューの仕組み

scope
  → map attack surface
  → select applicable checks
  → investigate
  → independently verify important candidates
  → fix root cause
  → add regression proof
  → retest
  → report + release gate

スキャナーの検出結果やモデルの疑いは、脆弱性と自動的に判断されるのではなく、候補として扱われます。

信頼できる検出結果では、影響を受ける箇所、攻撃者による制御や関係するセキュリティ境界、到達可能性、影響、根本原因、安全な証拠、修正内容、回帰テスト／再テストの状況を示します。

SecHelix が主張しないこと

• 認証ではありません。 PASS は、レビュー対象においてリリースゲートのルールに該当する未解決のブロッキング条件が見つからなかったことを意味するだけで、ソフトウェアに脆弱性がないことを示すものではありません。
• 実際のコードで、既知の CVE 12 件中 2 件を検出しました。 最近の CVE 12 件について、脆弱なツリーと修正済みツリーを対象にしたブラインドテストを実施しました。事前登録したルールの下で明確に検出できたのは 2 件、手動判定を要したのは 3 件で、VERIFIED と判定した検出結果に既知の欠陥は含まれていませんでした（レポート）。適合率は NOT_MEASURED です。
• 推論は引き続きモデルが行います。 SecHelix はレビューを構造化し、裏付けのない主張を取り除くのではなく、裏付けがないものとしてラベル付けします。このテストでは、106 件中 92 件の検出結果が LIKELY_BUT_UNPROVEN または HYPOTHESIS と判定されました。モデルが推論できないバグを見つけられるようにするものではありません。
• ホストのサポート状況はさまざまです。 Claude Code プラグイン、Agent Skills CLI、ポータブルバンドル、厳選された Copilot CLI プラグインでインストールを検証済みです。それ以外のホストについては手順を記載しています（互換性）。
• 許可された対象のみを扱います。 インターネットスキャナーではなく、エクスプロイトペイロードも同梱していません。

完全なローカルランタイム：SecHelix + 組み込み Strix

SecHelix が互換性テストを行った正確な Strix のソースリビジョンを含む完全なローカルスタックを使うには、サブモジュールを含めてクローンし、ブートストラップを実行します。

git clone --recurse-submodules https://github.com/omarmohelal/SecHelix.git
cd SecHelix
bash scripts/bootstrap-full.sh

これにより、SecHelix のチェックアウト内にある engines/strix に Strix が展開され、両プロジェクトが単一の Python 3.12 仮想環境にインストールされます。再現可能なインストールを実現するためソースを組み込んでいますが、SecHelix アダプターは引き続き認可と証拠の境界として機能します。OpenRouter の設定と初回実行のコマンドは docs/full-install.md に記載されています。

オプションの CLI ランタイム

Agent Skill は Python ランタイムなしで動作します。ランタイムはオプションで、保存された実行結果、カバレッジ追跡、再生可能な証拠、レポート、CI 向けの終了コード、MCP アダプターを追加します。

次のコマンドでインストールします。

pipx install sechelix
sechelix doctor

uv tool install sechelix と python -m pip install sechelix もサポートされています。

便利な CLI コマンド

コマンド	内容
sechelix doctor	利用可能なコンポーネントと推論エグゼキューターを表示します
sechelix audit . --executor claude-code	推論エグゼキューターとして Claude Code を使用して監査を実行します
sechelix audit . --executor gemini-cli	推論エグゼキューターとして Gemini CLI を使用して監査を実行します
sechelix audit . --resume-from .sechelix/checkpoints/RUN-....json --executor nexus	封印済みのチェックポイントが同じターゲット、スコープ、グラフ、入力ワールドに対するものか検証したうえで、未完了のノードのみを再開します
sechelix launch-audit . --executor claude-code	「候補なし」を PASS とせず、証拠に基づいてルーティングする AI 構築アプリのリリースチェック 19～36 を実行します
sechelix runs	保存済みの実行を一覧表示し、整合性を検証します
sechelix coverage	以前の実行で調査されなかった内容を表示します
sechelix report	最新の保存済み実行をレポートとして出力します
sechelix replay <run_id>	記録された実行をオフラインで再生し、整合性を確認します
sechelix mcp .	ローカル MCP アダプターを stdio 経由で提供します

例：

sechelix doctor
sechelix audit . --executor claude-code
sechelix launch-audit . --executor claude-code
sechelix coverage
sechelix report --format markdown

デフォルトの --executor none を指定した sechelix audit . は、コードを分析したかのように装うことは意図的にありません。推論ノードはブロックされ、実際のエグゼキューターを設定するまで実行は未完了のままです。

監査とリリース監査の実行では、デフォルトで .sechelix/checkpoints/ にノード境界チェックポイントを作成し、自ら封印するようになりました。プロセスまたはホストが停止した場合は、そのファイルを --resume-from に渡してください。完了済みノードの証拠は保持され、残りのノードには別のエグゼキューター／プロバイダーを使用できます。ターゲットのコミット、スコープ、グラフ、入力ワールド、予算制限、またはチェックポイントのダイジェストが変更されている場合、再開はフェイルクローズします。

すべての CLI フラグについて：

sechelix --help
sechelix audit --help

高度なランタイムガイド：V4 Runtime Quickstart。

GitHub Action

- uses: omarmohelal/[email protected]
  with:
    executor: none

PASS、PASS_WITH_KNOWN_RISK、BLOCKED、または INCOMPLETE を出力し、コードスキャン用の SARIF を書き込み、実行結果をアーティファクトとしてアップロードします。デフォルトの executor: none では、実施していないレビューに対して成功を示すチェックを表示するのではなく、意図的に INCOMPLETE を報告します。実際のレビューを行うには、推論エグゼキューターを設定してください。

完全なリファレンス：GitHub Action。

MCP アダプター

uvx sechelix mcp /path/to/the/repository

選択したルートに対して、シェルもネットワークも使わずに 7 つのツールを提供します。6 つのツールは読み取り専用です。sechelix_audit は、そのルート内の実行ワークスペースにのみ書き込みます。ルートがセキュリティ境界となるため、ホームディレクトリではなく、レビュー対象のリポジトリを指定してください。

リファレンス：MCP adapter。

実行モード

モード	用途
STATIC	動的なトラフィックを発生させずに、ソース、設定、スキーマをレビューします
LOCAL	ローカルアプリとフィクスチャーを対象に、安全な動的検証を行います
STAGING	明示的に許可された本番以外のテストを行います
PRODUCTION_SAFE	範囲を限定した非破壊的な検証のみを行います

自分が所有するシステム、または評価する明示的な許可を得ているシステムのみをテストしてください。SECURITY.md を参照してください。

出力

ワークフローと利用可能なランタイムに応じて、SecHelix は次のものを生成できます。

• 証拠に裏付けられた検出結果と、反証された候補。
• 根本原因に対する修正ガイダンスまたは修正。
• セキュリティ回帰テスト。
• 再テストのステータス。
• Markdown、編集済み JSON、SARIF、または HTML のレポート。
• リリース判定：PASS、PASS_WITH_KNOWN_RISK、BLOCKED、または INCOMPLETE。

ドキュメント

まず実践的なドキュメントから始め、詳細な資料は必要なときだけ参照してください。

• コマンドクックブック — コピーしてすぐ使えるセキュリティのワークフロー。
• AI で構築したアプリのリリース監査 — AI で構築したアプリやバイブコーディングで作成したアプリ向けの、証拠に基づくリリース前チェック。
• V4 ランタイムクイックスタート — オプションの CLI／ランタイムの使用方法。
• GitHub Action — GitHub Actions での SecHelix の使用方法。
• MCP アダプター — ローカル MCP サーバーのインターフェース。
• CI 統合 — CI での SecHelix の使用方法。
• アーキテクチャ — 設計と内部構造。
• 評価 — 評価の方法論と結果。
• 拡張機能 — フレームワークの拡張。
• SEO 監査とコードベースのクリーンアップ — 独自のレポートを生成する、任意で明示的に依頼する品質向上ワークフロー（プロンプト）。セキュリティ判定には含まれません。
• セキュリティポリシー — 安全な使用方法と脆弱性の報告。
• コントリビューション — SecHelix への貢献方法。

リポジトリには、詳細なスキーマ、カタログ、アダプター、評価用フィクスチャ、調査資料も含まれています。これらはフレームワークを支える資料であり、SecHelix の使用を開始する際に読む必要はありません。

ライセンス

Apache-2.0。LICENSEを参照してください。