We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
lean-lsp-mcp 0.26.1
Release 0.26.0
Bump version to 0.24.1
chore: update harvest manifest (2026-03-21)
lean-lsp-mcp 0.25.1
lean-lsp-mcp 0.25.0
lean-lsp-mcp 0.24.0
lean-lsp-mcp 0.23.2
lean-lsp-mcp 0.23.1
lean-lsp-mcp 0.23.0