counterexample-guide
CommunityDecode Ivy verification failures.
AuthorElNiak
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill helps users understand and debug complex verification failures in the Ivy protocol specification language, specifically when a counterexample is generated.
Core Features & Use Cases
- Counterexample Interpretation: Guides users through analyzing structured counterexample traces to pinpoint the root cause of verification failures.
- State and Assertion Analysis: Provides methods to examine violated assertions, trace state variable changes, and understand execution paths.
- Use Case: When
ivy_verifyfails and provides a counterexample trace, use this skill to systematically break down the trace, identify the specific assertion that failed, and understand the sequence of actions that led to the violation, ultimately guiding you to the fix.
Quick Start
Use the counterexample-guide skill to interpret the latest ivy_verify counterexample.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 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: counterexample-guide Download link: https://github.com/ElNiak/panther-ivy-plugin/archive/main.zip#counterexample-guide Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.