ElNiak

panther-ivy-plugin

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

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.