leanforge-mcp
MCP server for AI-driven formal proof search in Lean 4
インストール
実行可能なパッケージ
現在の Registry レコードには、対応するパッケージまたはリモートエンドポイントが登録されていません。
できること
ツール一覧
公開できるツールの列挙は記録されていません。
コミュニティ
エビデンス
最近の観測
このサーバーには Registry のメタデータがありますが、公開された検証実行はまだありません。
MCP Measureインデックス観測済み