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
- État
- Local
Alimenter votre agent
Ajouter ce serveur
Installation de l'éditeur. Ce n'est pas un endpoint PlugMCP.
Host a copy with our keys and logs.
Pas encore de version packagée dans le registre. Suivez le README du dépôt.
DépôtInstallation de l'éditeurPas à pas : ajoutez-le dans Claude
URL distante ou commande sur votre machine ? Ce qui distingue les deux installations
Exécuter sur 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.
LancerInfos sur le serveur
Local- Transport
- stdio
- Licence
- MIT
- Dernière vérification
- 2026-11-10
- Étoiles
- 8
- Outils
- —
- Disponibilité
- —
Outils
Outils
Pas encore de liste d'outils. Les serveurs distants en obtiennent une après le premier contrôle d'état.
FAQ
Questions
Comment installer Leanstudio ?
Copiez sur cette page la configuration stdio pour Cursor, Claude Desktop, Claude Code ou VS Code. Elle utilise l'installation de l'éditeur, pas un proxy PlugMCP.
Leanstudio nécessite-t-il une clé API ?
Aucune variable d'environnement requise n'est indiquée sur cette fiche.
Quel transport Leanstudio utilise-t-il ?
Leanstudio s'exécute en local via stdio.
Quand Leanstudio a-t-il été vérifié pour la dernière fois ?
Dernière vérification : 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.
De l'éditeur
Documentation
Le README n'a pas encore été exploré. Ouvrir le dépôt
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.