MCPサーバー
leanforge-mcp
io.github.sandraschi/leanforge-mcp
このMCPでできること
MCP server for AI-driven formal proof search in Lean 4
機能
ツール
0
ツール
ツール情報は公開されていません。
MCP Radarはまだこのサーバーからツール情報を取得できていません。