claudeindex
Marketplace

panther-ivy-plugin

panther-ivy-plugin

Stars

0

Forks

0

Plugins

2

Installation

1

Add the marketplace

/plugin marketplace add ElNiak/panther-ivy-plugin
2

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

Repository & Links

GitHub Repository

ElNiak/panther-ivy-plugin

Details & Metadata

2

Plugins

0

Skills

0

Agents

Last Crawled

March 28, 2026

Plugins

Plugin

ivy-lsp

Ivy language server for code intelligence, diagnostics, and navigation in .ivy formal specification files

Plugin

panther-ivy-plugin

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.