a2a-agents-secure-verification-poc
AgentGitHubAbandonnéPython
Application Python de preuve de concept pour la vérification formelle de sécurité des agents LLM utilisant le protocole A2A de Google.
Provenance de la description: Reformulé
Mesuré: 20 oct. 2026 · 64 observations
Domaines & Usages
- Domaines
- Agents, skills et MCP
À vérifier à la source
Compatibilité et prérequis sont à vérifier dans la documentation officielle.
https://github.com/guerilla7/a2a-agents-secure-verification-pocClassifications
- Nature
- Outil
Historique des mesures
Les relevés comparables sont regroupés par signal et unité.
Étoiles
0étoiles · 20 oct. 2026
0depuis le 14 août 2026
Valeurs exactes · 64 relevés
| Mesuré | étoiles | Écart |
|---|---|---|
| 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 | 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 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | · |