home/categories/computational-chemistry/a5c-ai-babysitter-library-specializations-domains-science-mathematics-skills-counterexample-generator-skill-md

computational-chemistryresearch

counterexample-generator

Name: counterexample-generator
Author: a5c-ai

Automated search for counterexamples to mathematical conjectures

سورس دیکھیں computational-chemistry

maintainer

a5c-ai

اپ ڈیٹ ہوا 3/25/2026

اسٹارز

538

فورکس

quick start

Installation and usage

Automated search for counterexamples to mathematical conjectures

انسٹالیشن

$ install --globalskills.sh

استعمال

انسٹال کرنے کے بعد، آپ یہ اسکل ٹرمینل میں درج ذیل کمانڈ چلا کر استعمال کر سکتے ہیں:

skills use counterexample-generator