HOL builds open infrastructure for AI agents, including HOL Plugins and HOL Guard.
Agent Plugins 1.0 standardizes how skills and MCP servers are packaged, but it does not solve discovery. Here is what developers should look for in an AI plugin marketplace.
