Mathrics Budget Verifier