{"name":"elniak-ivy-lsp-plugins-ivy-lsp","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"elniak-ivy-lsp-plugins-ivy-lsp","source":{"source":"github","repo":"elniak/panther-ivy-plugin"},"description":"Ivy language server for code intelligence, diagnostics, and navigation in .ivy formal specification files","version":"0.4.0","strict":false,"keywords":[],"category":"deployment"}]}