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.
- Transport
- stdio
- Status
- Lokal
Power your agent
Tambahkan server ini
Instal dari penerbit. Bukan endpoint PlugMCP.
RepositoriInstal dari penerbitLangkah demi langkah: tambahkan di Claude
URL remote atau perintah di mesin Anda? Perbedaan kedua cara instal
Jalankan di 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.
BukaInfo server
Lokal- Transport
- stdio
- Lisensi
- MIT
- Terakhir diperiksa
- 2026-11-10
- Bintang
- 8
- Tool
- —
- Uptime
- —
Tool
Tool
Belum ada daftar tool. Server remote mendapatkannya setelah pemeriksaan kesehatan pertama.
FAQ
Pertanyaan
Bagaimana cara menginstal Leanstudio?
Salin konfigurasi stdio untuk Cursor, Claude Desktop, Claude Code, atau VS Code di halaman ini. Konfigurasi ini memakai instalasi dari penerbit, bukan proxy PlugMCP.
Apakah Leanstudio memerlukan kunci API?
Tidak ada variabel lingkungan wajib yang tercantum di catatan ini.
Transport apa yang digunakan Leanstudio?
Leanstudio berjalan secara lokal melalui stdio.
Kapan Leanstudio terakhir diperiksa?
Terakhir diperiksa 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.
Dari penerbit
Dokumentasi
README belum di-crawl. Buka repositori
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.