re-z3
Solves complex logic puzzles and finds hidden keys using constraint solving tools.
Installation
Paste this into Claude Code, Cursor, or any agent that can run commands.
What this skill does
What it does:
- Helps find secret keys, passwords, and flags by setting up math equations based on how a program checks if input is correct
- Takes rules like "if input times 3 plus 5 equals 256 then it is valid" and automatically solves for the input
- Works with bit operations like XOR and shifting that programs use to scramble data
When to use it:
- You have a program that checks if a password or key is right, and you can see the checking code but solving it by hand is too hard
- The checking code uses only math and bit operations, no hashing or encryption that cannot be reversed
- You already know what the checking code looks like from taking apart the program with other tools
- You want to verify that a set of rules you found is complete and has no mistakes
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.