synthesis-specification-language
Skillby a5c-ai
Define specifications for program synthesis using various paradigms
Details
- Path
- library/specializations/domains/science/computer-science/skills/synthesis-specification-language/SKILL.md
- Allowed tools
- 6
- Dependencies
- 1
Allowed tools
BashReadWriteEditGlobGrep