{"name":"elniak-panther-ivy-plugin","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"},{"name":"elniak-panther-ivy-plugin-plugins-panther-ivy-plugin","source":{"source":"github","repo":"elniak/panther-ivy-plugin"},"description":"NCT/NACT/NSCT methodology guidance for Ivy protocol testing via ivy-tools MCP server. Provides agents, skills, and commands for formal protocol specification, attack modeling, and simulation-based testing using the 14-layer template architecture.","version":"0.4.0","strict":true,"keywords":[],"category":"productivity"}]}