counterexample-generator

Solid

Automated search for counterexamples to mathematical conjectures

AI & Automation 1,160 stars 71 forks Updated today MIT

Install

View on GitHub

Quality Score: 94/100

Stars 20%
100
Recency 20%
100
Frontmatter 20%
70
Documentation 15%
35
Issue Health 10%
50
License 10%
100
Description 5%
100

Skill Content

# 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

Details

Author
a5c-ai
Repository
a5c-ai/babysitter
Created
4 months ago
Last Updated
today
Language
JavaScript
License
MIT

Similar Skills

Semantically similar based on skill content — not just same category

AI & Automation Solid

test-case-generator

Generate comprehensive test cases including edge cases, stress tests, and counter-examples for algorithm correctness verification. Supports random generation, constraint-based generation, and brute force oracle comparison.

1,160 Updated today
a5c-ai
AI & Automation Solid

counterexample-guided-refinement

Implement CEGAR for synthesis and verification workflows

1,160 Updated today
a5c-ai
AI & Automation Solid

hypothesis-generator

Automated hypothesis generation using abductive reasoning and knowledge graph traversal

1,160 Updated today
a5c-ai
AI & Automation Solid

property-based-testing

Property-based testing with fast-check (TypeScript/JavaScript) and Hypothesis (Python). Generate test cases automatically, find edge cases, and test mathematical properties. Use when user mentions property-based testing, fast-check, Hypothesis, generating test data, QuickCheck-style testing, or finding edge cases automatically.

2,210 Updated 1 weeks ago
foryourhealth111-pixel
Testing & QA Listed

property-testing

Property-based and generative testing across the polyglot stack. TRIGGER when: user asks about property-based testing, generative testing, QuickCheck, Hypothesis, proptest, StreamData, fast-check, fuzzing test inputs, or finding edge cases that example tests miss. DO NOT TRIGGER when: user asks about TDD workflow (use tdd), mutation testing (use tdd), load testing (use performance-profiler), or security fuzzing (use security-auditor).

1 Updated 1 weeks ago
DROOdotFOO