No README found for this skill.
Skill folder: hunting-failing-inputs
Release of hunting-failing-inputs version 0.2.0
📥 Download & Install
⬇️ Download hunting-failing-inputs.zip
To install:
- Click the download link above (ignore the "Source code" archives below - they're auto-generated by GitHub)
- Go to Claude.ai Customize › Skills
- Upload the downloaded ZIP file
- Requires paid Claude Pro or Team account
See official documentation for more details.
Recent Changes
21e321e hunting-failing-inputs: generalise the Z3 trap hunt beyond Go