HOL Plugins Ranked AI plugin catalog across Claude, Codex, Cursor, and MCP /devtools #20 on /devtools
