counterexample-generator
Automated search for counterexamples to mathematical conjectures
Best use case
counterexample-generator is best used when you need a repeatable AI agent workflow instead of a one-off prompt.
Automated search for counterexamples to mathematical conjectures
Teams using counterexample-generator should expect a more consistent output, faster repeated execution, less prompt rewriting.
When to use this skill
- You want a reusable workflow that can be run more than once with consistent structure.
When not to use this skill
- You only need a quick one-off answer and do not need a reusable workflow.
- You cannot install or maintain the underlying files, dependencies, or repository context.
Installation
Claude Code / Cursor / Codex
Manual Installation
- Download SKILL.md from GitHub
- Place it in
.claude/skills/counterexample-generator/SKILL.mdinside your project - Restart your AI agent — it will auto-discover the skill
How counterexample-generator Compares
| Feature / Agent | counterexample-generator | Standard Approach |
|---|---|---|
| Platform Support | Not specified | Limited / Varies |
| Context Awareness | High | Baseline |
| Installation Complexity | Unknown | N/A |
Frequently Asked Questions
What does this skill do?
Automated search for counterexamples to mathematical conjectures
Where can I find the source code?
You can find the source code on GitHub using the link provided at the top of the page.
SKILL.md Source
# 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 Skills
color-palette-generator
Generate accessible color palettes with WCAG compliance
tracing-schema-generator
Generate distributed tracing schemas for OpenTelemetry with Jaeger/Zipkin integration
metrics-schema-generator
Generate metrics schemas for Prometheus, OpenTelemetry, and Grafana dashboards
log-schema-generator
Generate structured logging schemas with correlation ID patterns and ELK/Splunk integration
load-test-generator
Generate load test scripts for k6, Locust, and Gatling from OpenAPI specs
graphql-schema-generator
Generate GraphQL schemas from data models with resolver stubs and federation support
docs-site-generator
Generate documentation sites using Docusaurus, MkDocs, or VuePress
dependency-graph-generator
Generate module dependency graphs with circular dependency detection and coupling metrics
dashboard-generator
Generate monitoring dashboards for Grafana and DataDog with alert integration
c4-diagram-generator
Specialized skill for generating C4 model architecture diagrams. Supports Structurizr DSL, PlantUML, and Mermaid formats with multi-level abstraction (Context, Container, Component, Code).
adr-generator
Specialized skill for generating and managing Architecture Decision Records (ADRs). Supports Nygard, MADR, and custom templates with auto-numbering, linking, and status management.
typespec-sdk-generator
Microsoft TypeSpec-based API and SDK generation