Leanstudio
A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub built in.
- Транспорт
- stdio
- Статус
- Локальный
Усильте агента
Добавить этот сервер
Установка от издателя. Не эндпоинт PlugMCP.
Host a copy with our keys and logs.
В реестре пока нет пакетного релиза. Следуйте README репозитория.
РепозиторийУстановка от издателяПошагово: как добавить в Claude
Удалённый URL или команда на вашем компьютере? Чем различаются два способа установки
Запустить на PlugMCP
Host a copy with our keys and logs.
A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.
ЗапускСведения о сервере
Локальный- Транспорт
- stdio
- Лицензия
- MIT
- Последняя проверка
- 2026-11-10
- Звёзды
- 8
- Инструменты
- —
- Аптайм
- —
Инструменты
Инструменты
Списка инструментов пока нет. У удалённых серверов он появляется после первой проверки состояния.
FAQ
Вопросы
Как установить Leanstudio?
Скопируйте на этой странице конфигурацию stdio для Cursor, Claude Desktop, Claude Code или VS Code. Она использует установку издателя, а не прокси PlugMCP.
Нужен ли API-ключ для Leanstudio?
В этой записи не указано обязательных переменных окружения.
Какой транспорт использует Leanstudio?
Leanstudio работает локально через stdio.
Когда Leanstudio проверялся в последний раз?
Последняя проверка: 2026-11-10. A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub built in.
От издателя
Документация
README ещё не проиндексирован. Открыть репозиторий
A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub built in.