adshao/flounder

Autonomous white-hat security auditor for AI-driven code review, bug bounty research, exploit construction, and execution-grounded verification.

何を解決するか

Flounder は自律的なホワイトハットセキュリティ監査者であり、ソフトウェア対象の監査プロセスをエンドツーエンドで自動化します。セキュリティ研究者が手動でツールを切り替える作業を置き換え、ターゲット準備、攻撃表面のマッピング、深掘り監査、エクスプロイト構築、そして現実世界の真実に基づく発見の検証という構造的なシステムを提供します。

どう動くか

Flounder はコード用 LLM の上に薄いワークフロー層として機能します。ハードコードされたバグルールやスキャナに頼るのではなく、モデルが監査戦略を決定できるようにしつつ、必要なインフラを提供します。

  • 自律ループ: prepare → map → dig → synthesize → verify → confirm → report のパイプラインを実行します。
  • サンドボックス実行: モデルが生成した PoC とテストは、隔離された OCI バックエンドで実行され、ホストの汚染を防ぎ、悪意ある依存関係の影響範囲を最小限に抑えます。
  • 実行に基づく証明: モデルが脆弱パスを引き起こす成功するローカルコマンドを提供できる場合にのみ、発見は「確認済み」に昇格されます。
  • ターゲット準備: リポジトリのリンク、トランザクションハッシュ、アドレスを自動的に監査用素材に変換できます。

対象ユーザー

ホワイトハットセキュリティ研究者、バグバウンティハンター、および承認されたセキュリティレビューを行う開発者向けに設計されており、特に Solidity/EVM や ZK/証明システムを扱う人にとって有用です。これらの環境では、ローカルフォークやハーネスを使用して脆弱性を証明できます。

特徴

  • フレームワーク非依存: 監査戦略はモデルによって駆動されるため、モデルの進化に伴い、Rust、Go、JS などあらゆるスタックをサポートします。
  • ネットワーク封印された発見: 発見ランはネットワーク封印され、発見が既存の開示からコピーされたものではなく、ターゲット素材から導出されたものであることを保証します。
  • 持続可能な評価: 検証されたポジティブ/ネガティブコントロールグループの実行をサポートし、監査のパフォーマンスを測定できます。
  • エージェント対応: スキルシステムを通じて Codex や Claude Code などのコードエージェントと統合可能で、React ダッシュボードと REST API を提供します。

関連

  • プロジェクト
  • プロジェクト
  • プロジェクト
  • Dispatch
  • プロジェクト