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

cameronfreer/lean4-skillsLean 4 Skills

cameronfreer/lean4-skills

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

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

Установка

/plugin marketplace add cameronfreer/lean4-skills