symbolic-execution-tools
Helps security testers automatically solve puzzles and find bugs in code by using math to explore all possible paths.
Installation
Paste this into Claude Code, Cursor, or any agent that can run commands.
The full skill text could not be loaded right now. It installs fine with the command above, or read it at the source.
Mirrored from the author's public source. Install counts from the open skills registry.