Argus: an open-source pre-deployment red-team verification for AI agents | Manifund