Skills
.Work. You
Rest

counterexample-generator

Community

Debug failures with concrete examples.

Software Engineering#testing#debugging#verification#formal methods#assertions#counterexample
AuthorArabelaTso
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill helps developers pinpoint the exact cause of failures in formal verification, assertions, or specifications by generating concrete counterexamples.

Core Features & Use Cases

  • Generate Failing Inputs: Produces specific input values that demonstrate a bug or verification failure.
  • Execution Traces: Provides step-by-step execution paths leading to the failure.
  • Use Case: When a formal verification tool reports a "postcondition violated" error, this Skill can generate the precise input that causes the violation, allowing for quick debugging and fixing.

Quick Start

Use the counterexample-generator skill to find a counterexample for the withdraw function failure.

Dependency Matrix

Required Modules

None required

Components

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-generator
Download link: https://github.com/ArabelaTso/Skills-4-SE/archive/main.zip#counterexample-generator

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.