loaditout.ai
Skills
MCP Servers
Packs
Submit
Requests
Blog
lean-lsp-mcp
MCP Tool
oOo0oOo/lean-lsp-mcp
Lean Theorem Prover MCP
Install
$
npx loaditout add oOo0oOo/lean-lsp-mcp
Tags
lean4
lsp
mcp
View on GitHub
→
Report this skill