OpenSkillIndex← back to search
claude-codescience

Babysitter counterexample-generator

Automated search for counterexamples to mathematical conjectures

install
source · Clone the upstream repo
git clone https://github.com/a5c-ai/babysitter
Claude Code · Install into ~/.claude/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/a5c-ai/babysitter "$T" && mkdir -p ~/.claude/skills && cp -r "$T/library/specializations/domains/science/mathematics/skills/counterexample-generator" ~/.claude/skills/a5c-ai-babysitter-counterexample-generator && rm -rf "$T"
manifest: library/specializations/domains/science/mathematics/skills/counterexample-generator/SKILL.md
tags
#mathematics#theorem-proving#smt-solving#property-testing#formal-verification
source 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