oOo0oOo

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

Все карточки

1 карточка

MCP-сервер к языковому серверу Lean 4: агент читает цели доказательства, ошибки и ищет теоремы прямо в проекте

MCP-серверРасширенный доступ550

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

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

npx skillfoxx add mcp/lean-lsp-mcp

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

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