MCPサーバー
gonzalgo
io.github.vince-gonzalez/gonzalgo
このMCPでできること
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
機能
ツール
0
ツール
ツール情報は公開されていません。
MCP Radarはまだこのサーバーからツール情報を取得できていません。