Agent Skills: miasm-symbolic

Miasm reverse engineering framework for symbolic execution, IR lifting, and binary analysis. Interoperates with blackhat-go via adversarial bisimulation games and GF(3) conservation.

UncategorizedID: plurigrid/asi/miasm-symbolic

Author

plurigrid

https://github.com/plurigrid View all skills

Repository

plurigrid/asi

plurigridLicense: MIT

165

Install this agent skill to your local

pnpm dlx add-skill https://github.com/plurigrid/asi/miasm-symbolic

Skill Files

Browse the full folder contents for miasm-symbolic.

Download Skill

Loading file tree…

Select a file to preview its contents.