Плагин для доказательства теорем в Lean 4: поиск по mathlib, циклы заполнения sorry, проверка аксиом и страховочные хуки
Cameron Freer
РазработчикGitHub (откроется в новой вкладке)
У разработчика Cameron Freer в каталоге 1 проверенный инструмент для AI-агентов: 1 плагин.
Все карточки
1 карточкаКоротко
У него ниже команда установки и уровень доступа с причинами.
Как поставить
Одной командой на примере «Lean 4 Skills». CLI SkillFoxx сам определит агента и положит файлы в нужную папку.
npx skillfoxx add plugins/lean-4-skillsДоступ у карточек автора
- расширенный1
Другие авторы
Все авторыНе нашли нужное у этого автора? Опишите задачу, и Foxx AI подберет карточки из всего каталога. Подбор с Foxx AI