Surefact: verified tools for AI agents