Leanstudio
keithadler
Power your agent
เพิ่มเซิร์ฟเวอร์นี้
การติดตั้งจากผู้เผยแพร่ ไม่ใช่เอนด์พอยต์ของ PlugMCP
รีโพซิทอรีการติดตั้งจากผู้เผยแพร่ทีละขั้นตอน: เพิ่มใน 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
- เครื่องมือ
- —
- อัปไทม์
- —
จากผู้เผยแพร่
เอกสารประกอบ
ยังไม่ได้ครอว์ล 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.
