a2a-agents-secure-verification-poc — fiche et historique
Application Python de preuve de concept pour la vérification formelle de sécurité des agents LLM utilisant le protocole A2A de Google.
Reformulée en français
- Langage
- Python
- Licence
- MIT
- Création
- Dernière activité
- Topics
- a2a
- a2a-protocol
- agentic-ai
- agents
- formal-verification
- large-language-models
- llm
- machine-learning
Mesure actuelle
0étoiles GitHubstable
progression mesuréeLe momentum utilise les relevés disponibles des 7 derniers jours : mesuré avec au moins deux relevés comparables, estimé sinon.
Historique des relevés
| Date | Valeur | Métrique |
|---|---|---|
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub |
Classements
- Domaines
- Type
- Agents
- Usages
- Aucun usage déclaré
Outils voisins
Ces entrées déclarent les mêmes sujets. Aucune similarité n’est déduite : seuls les sujets communs sont indiqués.