skills.rest
ElNiak
ElNiakCOMMUNITY
Explore all skills by this author →
𝕏@CyberElNiakGitHub

tooling-reference

Guide Ivy language tooling workflows for LSP and MCP operations.

Updated Feb 25, 2026
Search Tags:#verification#tooling#mcp#lsp#code intelligence#ivy
One-click install
npx skills add https://github.com/ElNiak/panther-ivy-plugin --skill tooling-reference
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: tooling-reference
Source: https://github.com/ElNiak/panther-ivy-plugin/tree/main/plugins/panther-ivy-plugin/skills/tooling-reference
Command: npx skills add https://github.com/ElNiak/panther-ivy-plugin --skill tooling-reference

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This Skill helps you navigate the complexities of using the Ivy language tooling, ensuring you select the right tool for code intelligence, verification, and analysis tasks.

Core Features & Use Cases

  • Tool Selection Guidance: Understand when to use the Ivy Language Server Protocol (LSP) versus the MCP (Microsoft Common Protocol) tools.
  • Parameter Reference: Quickly look up the required parameters and usage patterns for various Ivy LSP operations and MCP commands.
  • Workflow Coordination: Learn how to combine LSP and MCP tools for common development tasks like debugging, refactoring, and verifying specifications.
  • Use Case: When you need to find where a specific function is defined across multiple Ivy files, you can use this Skill to guide you to the correct LSP operation.

Quick Start

Use the tooling-reference skill to understand how to find all references for a symbol in an Ivy file.

Frequently Asked Questions about tooling-reference

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I find all references for a symbol across multiple Ivy files?▼

To find all references for a symbol in Ivy files, use the native Ivy Language Server Protocol (LSP) operations. This Skill provides parameter references and guidance for executing symbol navigation tasks across your Ivy specification codebase.

When should I use Ivy LSP versus ivy-tools MCP for verification?▼

Use Ivy LSP for code intelligence tasks like symbol navigation and refactoring, and ivy-tools MCP for verification and analysis. This Skill details specific tool operations and parameters to help you select the right tool for your Ivy development workflow.

What's the best way to trace requirements in Ivy specifications?▼

Requirement tracing in Ivy specifications is achieved by coordinating LSP and MCP tools. This Skill outlines combined workflows, detailing how to leverage native Ivy LSP and ivy-tools MCP commands to trace and verify specification requirements effectively.

Can I debug Ivy specifications using LSP and MCP tools together?▼

Yes, you can debug Ivy specifications by coordinating LSP and MCP tools. This Skill provides workflow coordination guidance, showing how to combine Ivy Language Server Protocol operations with ivy-tools MCP commands for comprehensive debugging.

What parameters are required for Ivy LSP symbol navigation operations?▼

Ivy LSP symbol navigation requires specific operation parameters detailed in this Skill. It provides a parameter reference and usage patterns for various Ivy LSP operations, ensuring you execute code intelligence tasks like symbol lookup correctly.

Related Skills

Explore More Software Engineering Skills→
ElNiakElNiak

ivy-lsp-walkthrough

Demonstrate formal protocol testing with Ivy LSP navigation and MCP verification.

Community
Advanced
ElNiakElNiak

nct-methodology

Guide the 10-step NCT workflow for formal protocol testing with Ivy.

Community
Advanced
MSApps-MobileMSApps-Mobile
8

kotlin-lsp

Analyze Kotlin .kt and .kts files with LSP diagnostics and navigation.

Official
Intermediate
ElNiakElNiak

workflow-reference

Translate RFC normative language into formal Ivy constructs and run verification.

Community
Advanced