MCP-Server
leanforge-mcp
io.github.sandraschi/leanforge-mcp
Was dieses MCP kann
MCP server for AI-driven formal proof search in Lean 4
Funktionen
Tools
0
Tools
Tool-Metadaten sind nicht öffentlich verfügbar.
MCP Radar hat von diesem Server noch keine Tools abgerufen.