"author:KrystianYCSilva" matching MCP servers:

• lean-mcp

  KrystianYCSilva

  A

  license

  -

  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