Serveur MCP
leanforge-mcp
io.github.sandraschi/leanforge-mcp
Ce que fait ce MCP
MCP server for AI-driven formal proof search in Lean 4
Capacités
Outils
0
outils
Les métadonnées des outils ne sont pas disponibles publiquement.
MCP Radar n’a encore récupéré aucun outil depuis ce serveur.