"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.

  Last updated 2026-02-21

  1

  MIT