3 ms·
Just discovered https://plugins.jetbrains.com/plugin/29174-ide-index-mcp-server https://plugins.jetbrains.com/plugin/29174-ide-index-mcp-ser.... Its MCP, but st
by terminal512 10mo ago
Just discovered https://plugins.jetbrains.com/plugin/29174-ide-index-mcp-server https://plugins.jetbrains.com/plugin/29174-ide-index-mcp-ser.... Its MCP, but still better than nothing.