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 尚未从此服务器获取到任何工具。