counterexample-generator
Skillby a5c-ai
Automated search for counterexamples to mathematical conjectures
Details
- Path
- library/specializations/domains/science/mathematics/skills/counterexample-generator/SKILL.md
- Allowed tools
- 6
- Dependencies
- 1
Allowed tools
BashReadWriteEditGlobGrep