トークン消費85％減　Googleが脆弱性を自動修正するオープンソースハーネス「Mantis」公開