feat(verifier): add optional cheaper model tier for mechanical judge calls#160
Closed
lfnothias wants to merge 2 commits into
Closed
feat(verifier): add optional cheaper model tier for mechanical judge calls#160lfnothias wants to merge 2 commits into
lfnothias wants to merge 2 commits into
