Y Combinator 日本語図鑑

事業概要

プロダクト

• コード、文書、Jiraの課題を読み込み、検索可能な知識グラフを構築する。
• プルリクエストごとに変更前後の挙動を照合し、差異の有無を判定する。
• 挙動が変わった場合は、その変更を破る具体的な入力値を返す。
• コード変更を監視し、知識グラフを自動で更新して最新状態を保つ。
• 社内環境や自社クラウドに設置し、外部へデータを送らずに実行する。

技術アーキテクチャ（推定）

• 顧客のリポジトリ、文書管理、Jiraの課題を連携経由で取得するとみられる。
• オンプレミスまたは自社クラウドの常駐処理が差分を継続的に取り込むと推定。
• 取得した識別子を名寄せし、コードと課題と文書を対応付けて格納するとみられる。
• 静的解析と形式手法を用いて変更前後の意味的な同値を検査すると推定される。
• 検証結果と反例の入力値をプルリクエスト上に返す構成とみられる。

収益モデル

• 企業顧客が自社環境への導入と保守に対して契約単位で支払うとみられる。
• オープンソースのエンジンは無償で公開され、企業向け機能が有償と推定される。
• 価格は非公開。

差別化

• GitHubで10万5000超のスターを獲得し、導入基盤が広い。
• コードと課題と文書を一つのグラフで保持し、文脈の分断を防ぐ。
• 変更の正しさを反例付きで示すため、レビュー判断が属人化しにくい。
• 完全閉域で稼働し、コードを外部に出せない企業でも導入できる。

日本展開時のリスク

• ソースコードを社外に出せない企業が多く、閉域運用の証明が導入条件になる。
• 形式検証の精度を説明できる人材が少なく、導入判断が遅れやすい。
• 既存の課題管理や版管理との接続設定に相応の作業が要る。
• 二人体制のため、国内企業の導入支援と運用の対応力が制約になる。
• 検証ツールの予算枠が小さく、価格の妥当性を示しにくい。

日本での競合

• 国内に知識グラフと形式検証を組み合わせる同型の製品は見当たらない。
• コードレビュー支援やテスト自動化には国内事業者が複数いる。
• 大規模な移行や基盤更新の検証は、依然として人手と経験に依存する。
• 閉域前提の開発環境を求める大企業ほど、適合する余地が大きい。
• 導入には既存の版管理と課題管理への接続検証が壁になる。

主要プレイヤー

• Autify — ノーコードでE2Eテストを作成・実行。AIがUI変更に追随。
• MagicPod — モバイルとWebのE2Eテスト自動化。月39,800円から。
• SHIFT — 品質保証の受託とテスト設計。