Skills
.Work. You
Rest

ivy-lsp-walkthrough

Community

Master Ivy protocol testing with LSP+MCP.

Software Engineering#mcp#code navigation#formal verification#quic#lsp#protocol testing#ivy
AuthorElNiak
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill provides a guided, end-to-end demonstration of how to use the Ivy Language Server Protocol (LSP) for code navigation and the MCP tool for formal verification and analysis within the PANTHER-Ivy tester framework.

Core Features & Use Cases

  • Semantic Code Navigation: Utilize LSP features like documentSymbol, workspaceSymbol, goToDefinition, findReferences, and hover to understand complex protocol specifications.
  • Formal Verification & Analysis: Employ MCP tools such as ivy_coverage, ivy_lint, and ivy_verify to ensure protocol compliance and identify gaps.
  • Use Case: You need to add a new requirement to a formal protocol specification (like QUIC) and ensure it's correctly implemented and verifiable. This Skill walks you through finding relevant code, understanding its structure, identifying coverage gaps, writing the new monitor, and verifying its correctness and traceability.

Quick Start

Use the ivy-lsp-walkthrough skill to add an RFC requirement to the QUIC protocol specification.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: ivy-lsp-walkthrough
Download link: https://github.com/ElNiak/panther-ivy-plugin/archive/main.zip#ivy-lsp-walkthrough

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.