MCPHorizon：针对 MCP 安全的形式化能力-安全框架，研究工具描述通道对 LLM 智能体的注入攻击

MCPHorizon 提出一个针对 MCP 安全的形式化能力-安全框架，研究攻击者如何通过工具描述通道向 LLM 智能体注入恶意指令。项目包含 MCPTox 数据集（300+ 中毒工具定义、覆盖 20 个 LLM，o1-mini 攻击成功率最高达 72.8%）、多智能体攻击框架 TAMAS（6 类攻击 × 5 领域，在 AutoGen 与 CrewAI 上评测）及 8 类标准化基准 MCPSecBench。能力格引擎、Datalog 编译器与 ML 预测器为闭源，其余数据集与评测脚本完全开放。