Is keithadler/leanstudio down?

github/keithadler/leanstudio

As of —, keithadler/leanstudio is unknown.

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.

No advertised endpoint or package; see https://github.com/keithadler/leanstudio for how to run it.

Tools (20)

• assurance_report
• check_file
• export_walkthrough
• extract_lemma
• ffi_bindings
• goals
• hover
• profile
• profile_check
• project_map
• proof_steps
• prove
• references
• run_lean
• search_mathlib
• studio_context
• studio_show
• suggestions
• try_upgrade
• why_not_proved

Compare: most reliable code servers · most reliable web servers · most reliable data servers · most reliable knowledge servers · most reliable search servers

claude mcp add --transport http glimind https://glimind.com/mcp

{
  "mcpServers": {
    "glimind": {
      "type": "http",
      "url": "https://glimind.com/mcp"
    }
  }
}

FAQ

Is keithadler/leanstudio down right now?

As of —, keithadler/leanstudio is unknown.

How many tools does keithadler/leanstudio provide?

keithadler/leanstudio advertises 20 tools, including assurance_report, check_file, export_walkthrough, extract_lemma, ffi_bindings.

How do I install keithadler/leanstudio?

No advertised endpoint or package; see https://github.com/keithadler/leanstudio for how to run it.

Operator of keithadler/leanstudio?

Claim this listing to get the Verified operator marker, a remediation checklist and owner analytics, or embed the live badge from any of the tool pages above.

Status is an automated estimate from Glimind's liveness checks (handshake and tool listing only; no tool is ever called) and may lag or differ from your network. Glimind is not affiliated with this server or its operator. Operator? Request a correction or opt out at https://glimind.com/opt-out.