loogle-search
Поиск лемм в Mathlib по шаблону сигнатуры типа
AIparcadei
official
Данные
Что делает навык
Поиск лемм в Mathlib по шаблону сигнатуры типа
Как подключить
1Скачать навык
# возьмите папку навыка «loogle-search» из репозитория:
# https://github.com/parcadei/continuous-claude-v3
2Положить папку с
SKILL.md к навыкам ассистента# положите папку навыка туда, где ассистент ищет skills:
cp -r loogle-search/ ~/.claude/skills/loogle-search/
Навык — папка с файлом SKILL.md (описание + инструкции) и опциональными скриптами. Ассистент (Claude, Claude Code и совместимые) подхватывает его по описанию и следует шагам.