- SAFE
- RISKY
- HUMAN
- LOG
すぐに答え
AIで破壊的なデータベース変更を防げますか?
はい。エージェントがReversibility Architect Proverを使用して、移行スクリプトが「追加型」のパターンに従っているかを確認します。カラムの削除など、永続的なデータ損失を招く変更があれば即座にフラグを立てます。安全な変更とそうでない変更の内訳がひと目で分かります。
移行結果の分類
検証結果のステータス
AIが検出したすべての変更を分類します。
SAFE
追加型の変更を確認済み
スクリプトが新しいテーブルやカラムの追加のみを行っていることをAIが確認しました。そのままデプロイを進めて問題ありません。
RISKY
破壊的なパターンを検出
追加型のルールに反する削除や名前変更が見つかりました。リスクの原因となっている具体的な行を警告します。
HUMAN
手動レビューが必要
型変更など、AIが判断を保留した箇所です。この変更を実行して安全かどうかは、人間が判断する必要があります。
LOG
検証履歴を保存
AIが行ったすべてのチェック内容をログに記録します。過去の検証結果を振り返り、移行の安全性を継続的に追跡できます。
ワークフロー
移行が発生した際、AIが行うこと
AIがスキーマ更新のセーフティフィルターとして機能します。
移行ファイルの読み取り
エージェントがリポジトリから生のSQLまたは移行コードを取得し、ロジックを解析します。
validate_reversibilityスキーマ変更の解析
提案された変更内容と、現在のデータベース構造を比較します。
validate_reversibilityデータ損失リスクの検知
既存データを削除してしまうDROPやALTERなどの破壊的なコマンドをAIが特定します。
validate_reversibilityロールバック可能性の検証
追加型のパターンを用いることで、その移行が安全にロールバック可能かどうかをエージェントが確認します。
validate_reversibility
試してみる
以下のプロンプトをコピーして開始
これらのプロンプトを使って検証を開始できます。
出発点
ファイルパスやリポジトリ名は、ご自身の環境に合わせて書き換えてください。
Reversibility Architect Prover Connector
準備完了です。MCPクライアントを選択し、セットアップ手順に従ってください。
https://edge.vinkius.com/vk_preview_Yu3o4BBRqOWxr3Aek5fueq38ENcp7Ow6rdrGSBfM/mcpClaude Desktop
以下の手順で数秒で接続できます。
- 1In Claude Desktop, open Settings → Connectors.
- 2Click “Add custom connector” and paste the connector link above as the remote MCP server URL.
- 3Click Add and start a new chat — Reversibility Architect Prover capabilities are ready to use.
{
"mcpServers": {
"reversibility-architect-prover-mcp": {
"url": "https://edge.vinkius.com/vk_preview_Yu3o4BBRqOWxr3Aek5fueq38ENcp7Ow6rdrGSBfM/mcp"
}
}
}./migrations/2024_update.sql にある移行スクリプトのロールバック可能性を検証して。
'auth_service' リポジトリのこのブランチに、破壊的なスキーマ変更が含まれていないか確認して。
現在の移行ファイル内のSQLは、追加型のパターンに従っていますか?
プロジェクト内の migrations フォルダをスキャンして、ロールバックできないものをすべて特定して。
Claude
ChatGPT
Cursor
VS Code
Windsurf
Claude Code
JetBrains
Cline
ここから始める
Reversibility Architect Proverを一度接続するだけで、すぐに質問できます。
一度接続すれば、エージェントがファイルを読み取れるようになります。認証情報はすべて弊社側で暗号化して保持されます。
Reversibility Architect ProverをAIに接続するFAQ
動作に関する詳細
- 01
AIが代わりに移行を実行することはできますか?
いいえ。AIが行うのはスクリプトの検証のみです。移行の実行は、必ずご自身で行ってください。
- 02
AIがSQLファイルを書き換えることはありますか?
いいえ。AIはチェックのためにファイルを読み取るだけで、ソースコードを書き換えることはありません。
- 03
構文エラー(Syntax Error)のチェックもしてくれますか?
いいえ。このツールはSQLの構文チェックではなく、ロールバックの可否や追加型のパターンに特化しています。
- 04
移行に問題が見つかった場合はどうなりますか?
AIが破壊的なコマンドを具体的に指摘します。それに基づき、追加型のパターンに沿ったコードへ書き換えてください。
- 05
稼働中のデータベースと照合することは可能ですか?
はい。AIが現在のスキーマを読み取れるようにアクセス権限を与えれば、変更内容との比較が可能です。
Reversibility Architect Proverについてさらに詳しく知りたいですか? Reversibility Architect Prover Connectorの全機能を見る
『Reversibility Architect Prover』を Claude、Cursor、ChatGPT などに接続
