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
- स्थिति
- लोकल
Power your agent
यह सर्वर जोड़ें
पब्लिशर का इंस्टॉल। 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 कैसे इंस्टॉल करें?
इस पेज पर Cursor, Claude Desktop, Claude Code या VS Code के लिए stdio कॉन्फ़िग कॉपी करें। यह पब्लिशर का इंस्टॉल इस्तेमाल करता है, PlugMCP प्रॉक्सी नहीं।
क्या Leanstudio के लिए API key चाहिए?
इस रिकॉर्ड में कोई ज़रूरी एनवायरनमेंट वेरिएबल दर्ज नहीं है।
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.