Releases · sandraschi/leanforge-mcp · GitHub

Release list

v0.1.0 Latest

Latest

sandraschi released this 28 Aug 13:55

67592f6

leanforge-mcp v0.1.0 - AI-driven formal proof search in Lean 4. MCPB bundle for the official MCP Registry.

Assets 3