"""Deterministic Vera challenge bot package."""