标签：程序分析

面向Frama-C的MCP服务器，支持AI智能体执行C程序形式验证，包括抽象解释、演绎证明、ACSL注解推理及沙箱化CEGIS实验。

codebadger是一个容器化的模型上下文协议（MCP）服务器，为AI代理和LLM提供对代码库结构和数据流的深度可查询访问，适用于程序分析和漏洞分析。

一个为Ghidra提供与基于Zig的MCP服务器桥接的插件，增强程序分析能力。