MCP Server
leanforge-mcp
io.github.sandraschi/leanforge-mcp
What this MCP does
MCP server for AI-driven formal proof search in Lean 4
Capabilities
Tools
0
tools
Tool metadata is not publicly available.
MCP Radar has not retrieved any tools from this server yet.