Главная · Тег

Lean

Lean в экосистеме Claude Code: 2 инструмента — 1 MCP-сервер, 1 плагин. Популярные: Lean LSP, скиллы Lean. У каждого — описание на русском, команда установки и ссылка на исходники.

Lean LSP — Lean LSP

ooo0ooo/lean-lsp-mcp

MCP-сервер Lean LSP (доказательство теорем).

leanprover/skills — скиллы Lean

leanprover/skills

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