loaditout.ai
SkillsPacksTrendingLeaderboardAPI DocsBlogSubmitRequestsCompareAgentsXPrivacyDisclaimer
{}loaditout.ai
Skills & MCPPacksBlog

lean-lsp-mcp

MCP Tool

oOo0oOo/lean-lsp-mcp

Lean Theorem Prover MCP

Install

$ npx loaditout add oOo0oOo/lean-lsp-mcp

Platform-specific configuration:

.claude/settings.json
{
  "mcpServers": {
    "lean-lsp-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "lean-lsp-mcp"
      ]
    }
  }
}

Add the config above to .claude/settings.json under the mcpServers key.

About

📖View the full README on GitHub→

Tags

lean4lspmcp

Reviews

Loading reviews...

Quality Signals

Quality Score5000
321
Stars
0
Installs
Last updated37 days ago
Security: AREADME

Safety

Risk Levelmedium
Data Access
read
Network Accessnone

Details

Sourcegithub-crawl
Last commit3/11/2026
View on GitHub→

Embed Badge

[![Loaditout](https://loaditout.ai/api/badge/oOo0oOo/lean-lsp-mcp)](https://loaditout.ai/skills/oOo0oOo/lean-lsp-mcp)