"""Minimal loader package for the released Lean 4 tactic model."""