Le descrizioni degli strumenti sono in inglese.

a2a-agents-secure-verification-poc — scheda e storico dello strumento

a Python proof-of-concept (PoC) application for security formal verification of LLM Agents using Google A2A (Agent-to-Agent) protocol.

Abbandonato

Fonte canonica ↗

Linguaggio
Python
Licenza
MIT
Creazione
Ultima attività
Argomenti
  • a2a
  • a2a-protocol
  • agentic-ai
  • agents
  • formal-verification
  • large-language-models
  • llm
  • machine-learning

Misurazione attuale

0stelle GitHubstabile
crescita misurata

Momentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.

Storico delle rilevazioni

90 giorni · 90 rilevazioni massime
DataValoreMetrica
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub
0stelle GitHub

Classificazioni

Ambiti
Tipo
Agenti
Utilizzi
  • Nessun utilizzo dichiarato

Queste voci dichiarano gli stessi argomenti. Nessuna somiglianza viene dedotta: sono indicati solo gli argomenti in comune.