AI変更検証AI
AIが書いた変更、本当に要件どおりで、既存を壊していないと言い切れますか。
無料ベータ・面談制／正式版は有料提供予定
概要
AIに任せた実装は「それらしく」見えても、要件の一部が未実装だったり、テストが無いまま通っていたり、要件に無い変更が紛れ込んでいたりします。人手のレビューはこの3種の穴を取りこぼしがちです。マージ前に「変更×要件×テスト」の三点照合を機械化することで、退行と要件漏れを入口で止めます。
効果
- 要件に対する未実装を漏れなく洗い出す。
- テストの無い変更を検出し、退行・正しさの未確認を防ぐ。
- 要件に無い混入を可視化し、想定外の変更・退行リスクを抑える。
- 各指摘に「どこを実装する／どのテストを足す」までの直し方が付く。
- 同じ入力に同じ結果（決定的）なので、CIのブロッキングゲートに組み込める。
インプット
- 変更内容
- 要件
- テスト
汎用LLMとの違い
「変更×要件×テスト」をカバーの抜けとして漏れなく数え上げる照合の設計と、表記ゆれを吸収して同一視する抽出・正規化規則が bubo 独自の中核です。汎用LLMと違い、大きな変更でも取りこぼさず、同じ入力に同じ結果を返す再現性を提供します。
社外秘のコードを、どう守るか
buboは入力を保存しません
ツールに渡したコード・仕様・データを、buboのサーバーは保存しません。bubo自身が学習に使うこともなく、処理はその場限りです。
AIに送るか・どこへ送るかは、あなたが握ります
LLMはお手元の鍵で、あなたが選んだプロバイダを呼びます。学習に使うかどうかといったデータの規約も、あなたとプロバイダの契約のもとにあります。なお、LLMキーを使うツールは現時点でClaude・Geminiに対応しており、他プロバイダは順次対応予定です。
AIに送らず動くツールも多くあります
多くのツールは決定的な静的解析だけで完結し、LLMに渡すのは必要な場面に限られます。AIに送る範囲を、あなた自身で絞り込めます。
どう申し込み、どうつなぐのか
1. 面談を予約する
予約フォームから面談をお申し込みください。現在のQAの困りごとと、試したいツールをお聞かせいただきます。
2. 面談で適用先を一緒に決める
そろえたツールのうち、貴社の工程で効く順番をご一緒に見立てます。設定方法・つなぎ方は、この面談でお渡しします。
3. お手元のLLMで動かす
お手元のLLMの鍵（ご自身の鍵をそのまま使うこの方式を、BYOKと呼びます）を設定し、buboのMCPサーバーへ接続。普段お使いのAIクライアントから、そのままQA方法論を呼び出せます。