proof-writer
Создаёт строгие математические доказательства для ML/AI-теории. Применяется, когда нужно доказать теорему, заполнить пропуски в доказательстве, формализовать черновик или проверить корректность утверждения. Названия продуктов, API и команд — как в оригинале.
AIwanshuiyin
official
Разработка
★ 17.1k
Что делает навык
Создаёт строгие математические доказательства для ML/AI-теории. Применяется, когда нужно доказать теорему, заполнить пропуски в доказательстве, формализовать черновик или проверить корректность утверждения. Названия продуктов, API и команд — как в оригинале.
Как подключить
1Скачать навык
# возьмите папку навыка «proof-writer» из репозитория:
# https://github.com/wanshuiyin/auto-claude-code-research-in-sleep
2Положить папку с
SKILL.md к навыкам ассистента# положите папку навыка туда, где ассистент ищет skills:
cp -r proof-writer/ ~/.claude/skills/proof-writer/
Навык — папка с файлом SKILL.md (описание + инструкции) и опциональными скриптами. Ассистент (Claude, Claude Code и совместимые) подхватывает его по описанию и следует шагам.