Claude
Skills
Sign in
Back

counterexample-generator

Included with Lifetime
$97 forever

Automated search for counterexamples to mathematical conjectures

General

What this skill does


# Counterexample Generator

## Purpose

Provides automated search capabilities for finding counterexamples to mathematical conjectures and validating proof attempts.

## Capabilities

- Random testing with intelligent sampling
- SMT-based counterexample search
- Quickcheck-style property testing
- Boundary case enumeration
- Finite model finding (Nitpick, Quickcheck)

## Usage Guidelines

1. **Property Specification**: Define testable properties formally
2. **Sampling Strategy**: Choose appropriate random distributions
3. **Constraint Solving**: Use SMT for structured search
4. **Boundary Testing**: Exhaustively check small cases

## Tools/Libraries

- Z3
- CVC5
- Quickcheck
- Nitpick

Related in General