ProofAgent Index for Agent Production Readiness | HACKOBAR_