gonzalgo

Live connection (MCP) · mcp_official · 0 Rokha runs · 0 downloads

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

github mcp

The phone book — and the kitchen — of the agentic world. Search 190k+ skills and MCP servers, then run them for real.