「純粋リファクタリング」をAIに証明させて自動マージする

概要

AIエージェントを活用してリファクタリングPRの等価性を証明し、レビューから自動マージまでを完結させるGitHub Actionsの仕組みとその運用実績の紹介。