kwant: self-hosted AI agents that verify their work