HOL Guard security integrations for AI harnesses, skills, MCP servers, agent frameworks, and plugin marketplaces