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分類
- 種別
- ツール