dzisiaj spędziłem czas na wzmacnianiu agenc-prover - naprawiamy semantykę dowodów, zabezpieczamy /prove i porządkujemy łańcuch dostaw dockera. Małe repo, prawdziwa praca nad bezpieczeństwem, wszystko publicznie ://