Claude Маркетплейс

Скиллы MCP-серверы Плагины Дайджест

Русскоязычный каталог инструментов для Claude Code: скиллы, MCP-серверы, плагины и еженедельный дайджест — с переводом описаний на русский. · О проекте

leanprover/skills · Плагины · Claude Маркетплейс

Главная · Плагины · leanprover/skills

L

leanprover/skillsскиллы Lean

leanprover/skills

Набор скиллов Lean (доказательства) для Claude Code.

LeanдоказательстваматематикаскиллыClaude Codeагентыинструменты

Установка

/plugin marketplace add leanprover/skills

О пакете

ТипПлагин

КатегорияРазработка

Добавлено6 апреля 2026 г.

Открыть на GitHub →Оригинал (источник) →