AgenTrust: proof over promises for AI agents | Manifund