I Turned Hermes Agent into a Verifiable Agent Operating System