a2a-agents-secure-verification-poc
AgentGitHubAbandonedPython
a Python proof-of-concept (PoC) application for security formal verification of LLM Agents using Google A2A (Agent-to-Agent) protocol.
Description provenance: Original source
Measured: Oct 20, 2026 · 64 observations
Domains & Uses
- Domains
- Agents, skills and MCP
Check at the source
Compatibility and prerequisites must be checked in the official documentation.
https://github.com/guerilla7/a2a-agents-secure-verification-pocClassifications
- Nature
- Tool
Measurement history
Comparable readings are grouped by signal and unit.
Stars
0stars · Oct 20, 2026
0since Sep 22, 2026
Exact values · 28 readings
| Measured | stars | Change |
|---|---|---|
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | · |