lean-lsp
01MCP server Claude CodeCodexCursor +2
Lean Theorem Prover MCP. Runs locally from the lean-lsp-mcp Python package.
40 4d ago A
tokens not measured
original Apache-2.0
Instructions file
Instructions for Stavan-Jain/QECLean, covering claude.md — agent orientation, two-repo layout, where to look for what, project tour and naming and style conventions.
40 4d ago C 9,093 tokens
original Apache-2.0