Skip to main content
Glama
Sign In
114,310 servers. Updated

"author:duongtech" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • SYMB

    duongtech
    A
    license
    A
    quality
    A
    maintenance
    Enables AI agents to symbolically execute binaries and solve them mathematically — unflattening OLLVM control flow, using Z3 and angr to derive exact inputs that reach target branches, tracing taint to dangerous sinks, devirtualizing bytecode VMs, and hot-patching live process memory without touching disk.
    20
    1
    MIT