Open tools to make deployed AI agents provable and reversible | Manifund