Automated search for counterexamples to mathematical conjectures
name counterexample-generator description Automated search for counterexamples to mathematical conjectures allowed-tools ["Bash","Read","Write","Edit","Glob","Grep"] metadata {"specialization":"mathematics","domain":"science","category":"theorem-proving","phase":6} 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 Property Specification : Define testable properties formally Sampling Strategy : Choose appropriate random distributions Constraint Solving : Use SMT for structured search Boundary Testing : Exhaustively check small cases Tools/Libraries Z3 CVC5 Quickcheck Nitpick