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

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

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

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

Главная · Плагины · cameronfreer/lean4-skills

C

cameronfreer/lean4-skillsLean 4 Skills

cameronfreer/lean4-skills

Набор скиллов Lean 4 для Claude Code.

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

Установка

/plugin marketplace add cameronfreer/lean4-skills

О пакете

ТипПлагин

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

Добавлено22 марта 2026 г.

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