← 트렌딩

Tangerine Index는 ChatGPT 이후 나온 프로덕트와 사람들의 반응을 싣습니다.

lean-lsp-mcp

github.com

Lean Theorem Prover MCP

오픈소스

github.com 방문외부 사이트GitHub549 스타외부 사이트

설치·연결

공식 MCP Registry, Homebrew, npm, PyPI, crates.io에서 저장소나 도메인으로 맞춰 하루 한 번 가져옵니다.

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. LeanCopilot

    LLMs as Copilots for Theorem Proving in Lean

    GitHub스타 1,341github.com오픈소스최근 반응

  2. paperproof

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

    GitHub스타 555github.com오픈소스최근 반응

  3. FLT

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

    Hacker News127점GitHub스타 1,055github.com오픈소스반응 2개최근 반응

  4. formal-conjectures

    A collection of formalized statements of conjectures in Lean.

    GitHub스타 1,356github.com오픈소스최근 반응

  5. cslib

    The Lean Computer Science Library (CSLib)

    GitHub스타 801github.com라이브러리오픈소스최근 반응