Skills dla Claude Code i innych agentów

Strategie rozwiązywania zadań z teorii całki w teorii miary

Wybierz optymalną metodę interpolacji dla swoich danych numerycznych

Wyszukiwanie semantyczne w kodzie zamiast grep — znajdź kod po znaczeniu, nie po tekście

Strategie rozwiązywania zadań z miary Lebesgue'a w teorii miary

Strategie rozwiązywania zadań z granic funkcji w analizie rzeczywistej

Strategie rozwiązywania problemów z granicami i kogranicami w teorii kategorii

Parametry AI dostrojone do zadania – wzorce oparte na badaniach dla dowodów, kodu i eksploracji

Wyszukuj lematy w Mathlib po sygnaturze typu – szybka ścieżka do znalezienia potrzebnej funkcji

Jeden punkt wejścia do obliczeń matematycznych, rozwiązywania równań i wyjaśniania koncepcji.

Przewodnik po narzędziach matematycznych – wybierz odpowiednie dla swojego zadania

Zbuduj intuicję matematyczną przez przykłady, wizualizacje i analogie

Wybierz właściwy model matematyczny do swojego problemu dzięki inteligentnym pytaniom

Sprawdzaj postęp w rozwiązywaniu zadań i decyduj, czy kontynuować czy zmienić podejście

Automatyczne kierowanie zapytań matematycznych do właściwych narzędzi CLI

Rozwiązuj zadania z algebry liniowej — mnożenie, odwracanie i rozkłady macierzy w jednym miejscu

Łańcuchuj 5 narzędzi MCP w potoku badawczo-implementacyjnym z graceful degradation

Strategie rozwiązywania zadań z arytmetyki modularnej w teorii grafów

Organizuj kod Pythona w moduły o optymalnym rozmiarze dla czytelności i wsparcia AI

Edytuj pliki błyskawicznie bez czytania całej zawartości — AI zmienia kod w sekundach

Przeszukuj kod 20 razy szybciej niż grep dzięki WarpGrep

Automatyczna diagnostyka zdrowia Claude'a – sprawdzaj umiejętności, agentów i pamięć

Strategie rozwiązywania problemów z transformacjami naturalnymi w teorii kategorii

Przeszukuj dokumentację i przykłady kodu z 3000+ pakietów w jednym miejscu

Uruchamiaj agentów w tle bez ciągłego sprawdzania statusu — oszczędzaj tokeny i czas.

Oszczędzaj tokeny kontekstu — unikaj TaskOutput w agentach Claude

Strategie rozwiązywania całek numerycznych – od prostych do wielowymiarowych

Sprawdź rzeczywiste wyniki przed zmianą kodu – unikaj błędnych założeń

Przeanalizuj istniejący projekt i stwórz mapę kontekstu dla zespołu

Orkiestruj równoległe instancje Claude'a za pomocą haków, umiejętności i bazy danych koordynacyjnej.

Strategie rozwiązywania zadań z otwartych zbiorów w topologii

Strategie rozwiązywania zadań z teorii operatorów w analizie funkcjonalnej

Zapobiegaj duplikowaniu typów w agentach równoległych – automatyczna weryfikacja kontraktów

Obliczenia ze świadomością jednostek – konwersje, analiza wymiarowa i arytmetyka fizyczna

Agent planujący, który tworzy szczegółowe plany wdrażania na podstawie kontekstu rozmowy

Strategie rozwiązywania zadań z logiki predykatów dla matematyków i logików

Znajdź zagrożenia w projekcie zanim się pojawią – strukturalna analiza ryzyka przed implementacją

Strategie rozwiązywania zadań z liczb pierwszych w teorii grafów i teorii liczb

Strategie rozwiązywania zadań z teorii dowodu i logiki matematycznej

Rozwiąż zadania z logiki zdaniowej krok po kroku — tautologie, sprzeczności i dowody

Formalne dowody matematyczne zweryfikowane maszynowo bez nauki składni Lean

Sprawdzaj jakość kodu w 40+ językach za pomocą 70+ lintersów — automatycznie naprawiaj błędy i metryki.

Sprawdzaj jakość kodu podczas pisania, wyłapuj błędy zanim je zacommitujesz

Wyszukuj wiedzę z poprzednich sesji za pomocą semantycznego wyszukiwania w pamięci

Przeszukuj poprzednie sesje, aby znaleźć sprawdzone rozwiązania i uniknąć powtórzenia błędów

Sprawdzaj implementacje referencyjnych SDK-ów podczas tworzenia i debugowania

Automatycznie analizuj strukturę, wzorce i dokumentację repozytoriów, aby szybko zrozumieć nowy kod

Eksploruj kod efektywnie — czytaj strukturę projektów bez marnowania tokenów

Automatyczne badanie dokumentacji, best practices i API bibliotek za pomocą narzędzi MCP