Skip to content

Pull requests: oOo0oOo/lean-lsp-mcp

New pull request New
7 Open 123 Closed
7 Open 123 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Updates the lean_leanfinder tool served by the Hugging Face endpoint
#194 opened May 20, 2026 by mikeljl Contributor Loading…
docs: add guide for adding a new MCP tool
#191 opened May 5, 2026 by Sfgangloff Contributor Loading…
feat(server): add lean_minimal_hypotheses tool
#190 opened May 5, 2026 by Sfgangloff Contributor Loading…
[feat] Semantic naming layer: tools that resolve by declaration name
#157 opened Mar 1, 2026 by elazarg Contributor Loading…
5
Add slim local semantic search tool (no lockfile churn)
#142 opened Feb 10, 2026 by alok Contributor Loading…
22
feat: add optional auto-build fallback for Lean startup
#133 opened Feb 10, 2026 by alok Contributor Loading…
1
feat: add opt-in Lean client prewarm on startup
#132 opened Feb 10, 2026 by alok Contributor Loading…
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.