Servidor MCP
leanforge-mcp
io.github.sandraschi/leanforge-mcp
Qué hace este MCP
MCP server for AI-driven formal proof search in Lean 4
Capacidades
Herramientas
0
herramientas
Los metadatos de las herramientas no están disponibles públicamente.
MCP Radar todavía no ha obtenido herramientas de este servidor.