scottnarmstrong

У разработчика scottnarmstrong в каталоге 1 проверенный инструмент для AI-агентов: 1 скилл.

Все карточки

1 карточка

Скиллы Lean 4 для Codex и Claude Code: от проекта до сверки формулировки с исходной теоремой, 12 процессов

СкиллМинимальный доступ70

У него ниже команда установки и уровень доступа с причинами.

Одной командой на примере «LeanAutoformalizationSkills». CLI SkillFoxx сам определит агента и положит файлы в нужную папку.

npx skillfoxx add skills/leanautoformalizationskills

Доступ у карточек автора

Не нашли нужное у этого автора? Опишите задачу, и Foxx AI подберет карточки из всего каталога. Подбор с Foxx AI