コンテキスト圧縮のOSSとimozuru skills 入れて、形式検証の開発フローをパワーアップさせた