Die Werkzeugbeschreibungen sind auf Englisch.

a2a-agents-secure-verification-poc — Werkzeugprofil und Verlauf

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

AufgegebenLetzter Commit vor 15 Monaten · 2025-05-16

Sprache

Python

Lizenz

MIT

Erstellt

2025-05-16

Letzte Aktivität

2025-05-16

Themen

Aktuelle Messung

0GitHub-Sternestabil

gemessenes Wachstum

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

Bereiche

Typ

Agenten

Anwendungsfälle