heute damit verbracht, agenc-prover zu härten - wir beheben die Beweissemantik, sperren /prove und bereinigen die Docker-Lieferkette. Kleines Repository, echte Sicherheitsarbeit, alles öffentlich ://