标签：符号执行

angr-mcp MCP Server 是一个提供二进制分析能力的服务，支持加载二进制文件、构建符号状态、引导执行和收集漏洞利用工件，适用于快速漏洞探索和分析。