Agenci AI sprawdzili kod Signala dowodami

Ludzie wybierają, co udowodnić, agenci piszą dowody

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.

Źródło: Google DeepMind: Introducing AlphaProof Code

W skrócie

Claude Fable 5.2 szybszy i umie kierować innymi agentami

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.

Źródło: Anthropic: Introducing Claude Fable 5.2 and Claude Mythos 5.2

Gemini 4 Carbon już nie tylko dla zespołów bezpieczeństwa

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.

Źródła: Google: Gemini 4 Carbon is now available · Google: Gemini 4 Carbon, kolejny model z rodziny Gemini 4

Mistral udostępnia wagi Mistral Large 4

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.

Źródła: Mistral AI: Le Chonk, built for coders, trusted by defenders · Hugging Face: Mistral-Large-4-1T-A52B

Agent od DeepSeeka, który czeka, aż go poprosisz

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.

Źródło: GitHub: deepseek-ai/dsh-superagent-prototype

Agent Skills z neutralnym gospodarzem

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.

Źródło: Anthropic: Donating Agent Skills to the Agentic AI Foundation

GitHub prosto ze Slacka i Teams

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ł.

Źródło: GitHub Changelog: @GitHub in Slack and Teams is generally available

UE pyta, jak chronić wybory w czasach generatywnej AI

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.

Źródło: Komisja Europejska: draft revised election guidelines under the DSA

Ze Skribly

Serwer Skribly na Discordzie jest otwarty

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.

Źródło: dc.skribly.pl

Wszystkie nasze projekty na jednej stronie

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ą.

Źródło: projects.skribly.pl

Dokumentacja i zestaw UI są w sieci

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.

Źródła: docs.skribly.pl · ui.skribly.pl

Skribly Agent będzie do pobrania za darmo

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.

Źródło: strona pobierania

Do wypróbowania

Zajrzyj do serwera MCP z MCP Inspector

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.

Źródło: GitHub: modelcontextprotocol/inspector

Czytaj całe wydanie