← Trending

Tangerine Index lists products launched since ChatGPT and people's reactions to them.

lean-lsp-mcp

github.com

Lean Theorem Prover MCP

Open source

Visit github.comexternal siteGitHub549 starsexternal site

Install and connect

From the official MCP Registry, Homebrew, npm, PyPI, and crates.io. Matched by repository or domain once a day.

Reactions (1)

Similar products

by description similarity

  1. LeanCopilot

    LLMs as Copilots for Theorem Proving in Lean

    GitHub1,341 starsgithub.comOpen sourcelatest reaction

  2. paperproof

    Lean theorem proving interface which feels like pen-and-paper proofs.

    GitHub555 starsgithub.comOpen sourcelatest reaction

  3. FLT

    Ongoing Lean formalisation of the proof of Fermat's Last Theorem

    Hacker News127 ptsGitHub1,055 starsgithub.comOpen source2 reactionslatest reaction

  4. formal-conjectures

    A collection of formalized statements of conjectures in Lean.

    GitHub1,356 starsgithub.comOpen sourcelatest reaction

  5. cslib

    The Lean Computer Science Library (CSLib)

    GitHub801 starsgithub.comLibraryOpen sourcelatest reaction