HOL Plugins
About
HOL Plugins is an open catalog of installable skills and MCP tools for AI coding agents. Discover, install, and manage agent capabilities with a local-first workflow. Maker: HOL. Free.
HOL Plugins is an open catalog of installable skills and MCP tools for AI coding agents. Discover, install, and manage agent capabilities with a local-first workflow. Maker: HOL. Free.
