3月30日、イスラエルのコード検証スタートアップQodoが7000万ドルのシリーズBラウンドを完了し、累計調達額は1億2000万ドルに達した。
この資金調達は、非常に興味深いタイミングで行われた。
なぜ検証が問題になっているのか
現在のAIコーディングツールの核心的な問題は、コードを生成できるかどうかではなく、生成されたコードをそのまま本番環境にマージできるかどうかにある。
Qodoの判断はこうだ：コード生成はもはやボトルネックではない。信頼こそが問題だ。
AIコーディングツールが登場する前のマージワークフローは、通常、コードを書く → PR → コードレビュー → マージ、という流れだった。各ステップに人間の監視があり、品質管理は自然に組み込まれていた。
AIコーディングツールによってコードを書くステップは10倍高速化したが、レビューと検証の速度は追いついていない。その結果、エンジニアはAIが生成したコードに対してさらに厳格な検証を適用するようになり、新たなボトルネックを生み出している。
AIコーディングツールは毎月数十億行ものコードを生成しており、それらすべてのコードを誰か、あるいは何らかのシステムがチェックする必要がある。
Qodoの取り組み
Qodoは単なるAIコードアシスタントではなく、独立した検証レイヤーである。
技術的には、マルチエージェントアーキテクチャを採用している：
- バグ検出エージェント：論理エラーとセキュリティ脆弱性を発見
- コンプライアンスチェックエージェント：企業独自のコーディング規約に準拠しているか確認
- アーキテクチャ検証エージェント：変更がコードベース全体に与える影響を評価
このツールはPRが何を変更したかを見るだけでなく、その変更が依存関係グラフ全体にどのような連鎖反応を引き起こすかを分析する。これは従来のコードレビューツールにはできないことだ。
最近リリースされたQodo 2.0はマルチエージェント版で、MartianのCode Review Benchテストでスコア64.3%を記録し、1位を獲得した。
誰が使っているか
エンタープライズ顧客リストは見応えがある：NVIDIA、Walmart、Red Hat、Intuit、JFrog、Texas Instruments。
これらは実験を行っている企業ではなく、AIツールを使って実際の本番コードを動かしている企業だ。彼らがQodoを使っていることは何を物語っているのか？Claude CodeやGitHub Copilotでコードを生成するだけでは不十分であり、独立した検証の関門も必要だということだ。
背後にある市場の論理
この分野の論理はテスト業界と似ている。コードが多ければ多いほど、バグの潜在的なリスクは大きくなり、検証の価値は高まる。
AIがコード生成速度を一桁向上させれば、バグの絶対数も比例して増加する。検証もAIで加速しない限りは。
Qodoの共同創業者Itamar Friedman氏は率直に述べている：私たちはコード品質と信頼の体系的な記録を構築している。なぜなら、企業はAIの実験段階からミッションクリティカルな自動化へと移行しつつあるからだ。
実験から本番へ。その間にある扉は「信頼」と呼ばれる。
出典：CocoLoop、Qodo raises $70M for code verification as AI coding scales（TechCrunch）；AI-generated code verification startup Qodo raises $70M（SiliconAngle）