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.
- Aktarım
- stdio
- Durum
- Yerel
Power your agent
Bu sunucuyu ekle
Yayıncıdan kurulum. PlugMCP uç noktası değildir.
Host a copy with our keys and logs.
Registry'de henüz paketlenmiş bir sürüm yok. Deponun README dosyasını izleyin.
DepoYayıncı kurulumuAdım adım: Claude içinde ekleme
Uzak URL mi, yoksa makinenizde bir komut mu? İki kurulum arasındaki fark
PlugMCP’de çalıştır
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.
BaşlatSunucu bilgileri
Yerel- Aktarım
- stdio
- Lisans
- MIT
- Son kontrol
- 2026-11-10
- Yıldızlar
- 8
- Araçlar
- —
- Çalışma süresi
- —
Araçlar
Araçlar
Henüz araç listesi yok. Uzak sunucular ilk sağlık kontrolünden sonra bir liste alır.
SSS
Sorular
Leanstudio nasıl kurulur?
Bu sayfadan Cursor, Claude Desktop, Claude Code veya VS Code için stdio yapılandırmasını kopyalayın. PlugMCP proxy'sini değil, yayıncının kurulumunu kullanır.
Leanstudio için API anahtarı gerekiyor mu?
Bu kayıtta gerekli bir ortam değişkeni listelenmiyor.
Leanstudio hangi aktarımı kullanıyor?
Leanstudio yerel olarak stdio üzerinden çalışır.
Leanstudio en son ne zaman kontrol edildi?
Son kontrol: 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.
Yayıncıdan
Dokümantasyon
README henüz taranmadı. Depoyu aç
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.