S
skill-researcher
Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
Installation
Pick a client and clone the repository into its skills directory.
Installation
About this skill
Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
How to use
- Upewnij się, że masz dostęp do repozytorium zawierającego skill w katalogu .claude/skills/skill-researcher oraz że podagent general-research-agent jest dostępny w Twojej konfiguracji. 2. Przygotuj zadanie badawcze — określ numer zadania (task_number), który istnieje w pliku state.json, oraz opcjonalnie dodaj focus_prompt, aby skierować kierunek badań. 3. Wywołaj skill dla zadań wymagających badań ogólnych, takich jak gromadzenie dokumentacji, eksploracja zewnętrznych zasobów lub planowanie implementacji w językach: general, meta, markdown, latex lub typst. 4. Skill waliduje dane wejściowe (sprawdza, czy task_number istnieje), a następnie deleguje pracę do podagenta general-research-agent, który przeprowadza właściwe badania przy użyciu wyszukiwania sieciowego, odczytu dokumentacji i analizy kodu. 5. Po powrocie z podagenta skill automatycznie obsługuje operacje poflightowe — aktualizuje status zadania, linkuje wygenerowane artefakty i commituje zmiany do repozytorium, bez konieczności dodatkowych interwencji. 6. Wynik badań zostaje zwrócony wraz z metadanymi, gotowy do dalszego przetwarzania przez orkiestrator.