Plugin

ivy-lsp

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

Installation

Add the marketplace

/plugin marketplace add ElNiak/panther-ivy-plugin

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.

Plugin Source

View Plugin Code

GitHub Repository

ElNiak/panther-ivy-plugin

From Marketplace

panther-ivy-plugin

View Marketplace

Author

@ElNiak

View GitHub Profile