symbolic-execution-tools

Maintained by yaklang

Symbolic execution and constraint solving playbook. Use when solving CTF reversing challenges, recovering keys, bypassing checks, or automating binary analysis with angr, Z3, or Unicorn Engine.

Current version: Unknown
License: Unknown
Network access: Unknown / not assessed
Review status: Not verified

Problem it solves

This catalog entry helps users find and evaluate symbolic-execution-tools for the task described by its available catalog summary. Confirm the exact scope in the linked original source when one is available.

When to use it

Consider symbolic-execution-tools when its available catalog summary matches the task at hand. When available, review the linked original source before use for precise instructions, requirements, and limitations.

symbolic-execution-tools is listed as an agent skill in RefHub. The listed maintainer is yaklang. The available catalog summary is: Symbolic execution and constraint solving playbook. Use when solving CTF reversing challenges, recovering keys, bypassing checks, or automating binary analysis with angr, Z3, or Unicorn Engine. When available, review the linked original source for exact usage instructions, required tools, and limitations.

Installation and updates

These commands are displayed for copying only and are never executed on RefHub servers. Review the linked upstream source before running them.

Install command

npx skills add yaklang/hack-skills --skill symbolic-execution-tools -y

Agent compatibility

No compatibility test has been recorded

Do not assume agent compatibility until documented test evidence is available.