Rust Lean vs LSP
Side-by-side comparison of two Ai projects on AiList.
Tagline
Bridges Lean 4's Language Server Protocol to AI assistants with 26 tools for proof assistance, code intelligence, and search.
Bridges Language Server Protocol (LSP) servers with code intelligence features like hover information, completions, and diagnostics for accurate code suggestions across multiple programming languages.
GitHub Stars
—
124
Stars This Week
—
—
Language
—
TypeScript
License
—
MIT
Built With
—
—
Views
56
70
Clicks
4
6