ClaudeとCodexでAI脆弱性スキャナーを作ってみた。失敗した

本記事では、Rustで書かれた決定論的なセキュリティツール「Janitor」を紹介します。プルリクエストのマージ前に脆弱性を検出し、形式手法、ゼロコピー実行、デュアルPQC認証を採用。350万行のコードベースを6.7秒でスキャンします。クラウドベースのAIセキュリティソリューションとは異なり、Janitorはデバイス上で動作し、コードを外部に送信せず、数学的に証明可能なセキュリティ保証を提供します。