Agenci AI sprawdzili kod Signala dowodami. Do tego nowe modele

10 listopada 2026 Google DeepMind pokazał AlphaProof Code: ludzie decydują, czego trzeba dowieść, a agenci AI przeprowadzają dowody. Najpierw eksperci zapisali cele bezpieczeństwa protokołu Signal jako formalne specyfikacje i sprawdzili każdą z nich. Potem agenci działający na Gemini Carbon udowodnili je dla skompilowanego kodu, który działa na telefonach, a nie tylko dla samego projektu protokołu. Powstało ponad sześć milionów linii w Lean, który maszynowo sprawdza każdy dowód, a całość zajęła cztery tygodnie. Na próbę zespół przywrócił w odizolowanej kopii kodu dwa stare, już naprawione błędy i w obu przypadkach system wykazał, że taka wersja nie jest bezpieczna. DeepMind udostępnia artefakty weryfikacji i opis techniczny.

Anthropic wydał 9 listopada 2026 Claude Fable 5.2 i Claude Mythos 5.2. To ten sam model w dwóch odsłonach: Fable ma mocniejsze zabezpieczenia i jest dostępny dla wszystkich, a Mythos trafia do zweryfikowanych organizacji z obszaru cyberbezpieczeństwa i nauk o życiu. Według Anthropic nowa wersja lepiej programuje, rozumuje i rozpoznaje obrazy, a odpowiada do 30% szybciej niż 5.1. Fable potrafi też koordynować innych agentów: w jednym eksperymencie przez osiem dni prowadził ponad tysiąc subagentów, którzy zbudowali prototyp systemu operacyjnego.

Google przedstawił Gemini 4 Carbon 28 października 2026 jako swój najmocniejszy model, nastawiony na cyberbezpieczeństwo i długą, wieloetapową pracę. Na początek dostała go tylko wybrana grupa obrońców cyberbezpieczeństwa. 10 listopada Google udostępnił go programistom, firmom i zwykłym użytkownikom, między innymi przez Gemini API w Google AI Studio i w Android Studio. Według Google wewnętrzne zespoły widziały, jak model przez całe dni szuka i łata błędy w dużych bazach kodu.

29 października 2026 Mistral opublikował wagi Mistral Large 4, nazywanego „Le Chonk”. Model ma około biliona parametrów, z czego na każdy token pracuje około 52 miliardów, a jego kontekst to milion tokenów. Mistral celuje w agentowe programowanie i obronę przed atakami. Licencja to zmodyfikowana licencja MIT, która pozwala na użycie komercyjne; udostępnianie modelu jako usługi wymaga osobnej licencji. Wagi leżą na Hugging Face.

DeepSeek wrzucił 31 października 2026 na GitHuba dsh-superagent, na licencji MIT. Agent pilnuje jednego repozytorium: gdy uprawniona osoba poprosi o pracę, zakłada zadanie, wykonuje je we własnej sesji i odpowiada w tej samej rozmowie, na przykład pull requestem. Jego zasada brzmi: zabierać ludziom jak najmniej uwagi. README zaznacza, że to prototyp badawczy, a nie oficjalny produkt DeepSeeka.

22 października 2026 Anthropic przekazał standard Agent Skills, w którym skill to folder z plikiem SKILL.md, fundacji Agentic AI Foundation działającej przy Linux Foundation. Ta sama fundacja opiekuje się już Model Context Protocol. W planach są wersjonowane wydania, formalny proces zgłaszania zmian i wskazówki bezpieczeństwa dla autorów oraz użytkowników skilli. Można się włączyć bez wstępowania do fundacji.

Od 6 listopada 2026 @GitHub w Slacku i Microsoft Teams jest ogólnie dostępny. Z poziomu rozmowy zbadasz błąd, założysz zgłoszenie, wprowadzisz zmiany i otworzysz pull request. Zgłoszenia i pull requesty utworzone w ten sposób mają w opisie informację, z jakiej rozmowy pochodzą i kto o nie poprosił.

10 listopada 2026 Komisja Europejska otworzyła konsultacje nowych wytycznych wyborczych z aktu o usługach cyfrowych (DSA) dla największych platform i wyszukiwarek. Jako jeden z powodów zmian podaje szybki rozwój technologii, zwłaszcza generatywnej sztucznej inteligencji. Uwagi można przesyłać do 23 listopada 2026.

Krótki adres dc.skribly.pl prowadzi do zaproszenia na serwer Skribly na Discordzie. Tam można zadać pytanie i porozmawiać z ludźmi, którzy budują Skribly.

Na projects.skribly.pl są projekty, które nasz zespół buduje i będzie budować: czym są, z czego się składają i na jakim są etapie. Pierwszy jest Skribly, kolejne dojdą.

Na docs.skribly.pl są poradniki i dokumentacja każdego narzędzia Skribly, a od niedawna także wyszukiwarka na stronie głównej. Na ui.skribly.pl działa na żywo nasz system projektowy: tokeny, czysty CSS i komponenty React na React Aria, w motywie jasnym, ciemnym i o wysokim kontraście.

Skribly Agent, aplikacja na komputer, w której agenci programujący pracują obok siebie, będzie bezpłatny do pobrania i używania. Daty jeszcze nie ma: instalatory pojawią się na stronie pobierania, gdy aplikacja zostanie wydana. Skribly to niekomercyjny projekt, który tworzymy po godzinach.

MCP Inspector to darmowe narzędzie open source od projektu Model Context Protocol do sprawdzania serwerów MCP. Wpisz npx @modelcontextprotocol/inspector, a otworzy się widok w przeglądarce: połącz go z serwerem, którego już używasz, i zobacz jego narzędzia, zasoby i prompty. Wolisz terminal? Polecenie npx @modelcontextprotocol/inspector --cli node build/index.js --method tools/list wypisze narzędzia lokalnego serwera. Wersja 2 trzyma tokeny i sekrety w systemowym pęku kluczy, jeśli jest dostępny, więc najpierw przeczytaj jej uwagę o sekretach.