a2a-agents-secure-verification-poc
智能体GitHub已放弃Python
a Python proof-of-concept (PoC) application for security formal verification of LLM Agents using Google A2A (Agent-to-Agent) protocol.
描述来源: 原始来源
测量时间: 2026年10月18日 · 62 次观测
领域 & 用途
- 领域
- 智能体、技能与 MCP
到信息源核实
请在官方文档中核实兼容性和前提条件。
https://github.com/guerilla7/a2a-agents-secure-verification-poc分类
- 类型
- 工具