GitHub へ push すると online-judge-tools/verification-helper を利用して自動で verify を実行します． verify の timestamp は verify-cache ブランチに保存し，main ブランチには自動 commit を追加しません．

また verification-helper により生成されたドキュメントは Pages で確認できます． Library Checker coverage も Pages に出力されます．

指定した verify ファイルを bundle し，サンプルをダウンロードしてローカル実行できます．

tools/run_test.sh verify/data-structure/LC_staticrmq.test.cpp

Library Checker の問題一覧と，このリポジトリ内の verify/**/LC_*.test.cpp の対応状況を照合します．

python3 tools/library_checker_coverage.py --refresh

初回や最新化したいときは --refresh を付けます．取得結果は cache/library_checker_problems.json に保存されるため，以後はネットワークなしでも実行できます．

python3 tools/library_checker_coverage.py --mode missing --format markdown
python3 tools/library_checker_coverage.py --mode covered --format json

markdown 出力では問題ジャンルごとに結果を表示します． GitHub Actions では前回 push 時点との差分も確認し，対応済み問題数が減少した場合は coverage job が失敗します．