Related Servers

No user-submitted related servers found.

Related Servers

• lean-lsp-mcp

  project-numina

  A

  license

  B

  quality

  D

  maintenance

  MCP server for agentic interaction with the Lean theorem prover via LSP, providing tools for understanding, analyzing, and interacting with Lean projects.

  Updated 6 months ago (2026-03-11 16:28 UTC)

  21

  21

  MIT

• LSP MCP

  jonrad

  A

  license

  -Not graded

  quality

  D

  maintenance

  Provides AI agents with language-aware code analysis through the Language Server Protocol, enabling tasks like getting code insights and diagnostics.

  Updated a year ago (2025-03-31 21:04 UTC)

  16

  191

  MIT

• lsp-mcp-server

  garretpremo

  A

  license

  -Not graded

  quality

  D

  maintenance

  Exposes type-aware code navigation and fast file search to AI agents via language servers, enabling definitions, references, symbols, and file lookup without reading entire codebases.

  Updated 5 months ago (2026-03-25 19:25 UTC)

  2,757

  MIT

• Aristotle MCP Server

  gleachkr

  F

  license

  B

  quality

  D

  maintenance

  Enables LLMs to prove theorems in Lean and formalize mathematical problems using the Aristotle API, supporting both formal Lean code and natural language problem submissions.

  Updated 9 months ago (2025-12-11 02:46 UTC)

  6

  1

• lean-mcp

  KrystianYCSilva

  A

  license

  -Not graded

  quality

  D

  maintenance

  Enables verification of Lean 4 mathematical proofs via MCP tools, allowing AI clients to compile and check theorems with Mathlib.

  Updated 6 months ago (2026-02-21 17:16 UTC)

  1

  MIT

• TypeScript LSP MCP

  jaenster

  A

  license

  B

  quality

  D

  maintenance

  Exposes TypeScript Language Server Protocol functionality to AI agents, enabling them to query types at specific positions, find definitions and references, get diagnostics, run type tests, and type-check inline code just like in an IDE.

  Updated 9 months ago (2025-12-14 18:34 UTC)

  9

  146

  3

  MIT