leanstudio

active

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.

Code-only MCP server: no hosted endpoint, so you install and run it yourself. It is not probed, graded or counted in our reachability statistics.

Get it

Repository: github.com/keithadler/leanstudio
License: MIT
Last update: 2026-11-10
GitHub stars: ★ 8
Homepage: github.com/keithadler/leanstudio/releases/latest

ai-assistant avalonia claude-code cross-platform csharp desktop-app dotnet formal-methods formal-verification ide lean lean-prover

Listed in

github · source

Run this server as a hosted endpoint? Submit the endpoint and it moves to the remote directory, where it is probed and graded.