gonzalgo

Live connection (MCP) · glama · 0 Rokha runs · 0 downloads · ⚖ Apache 2.0

Enables auditing formal libraries (Lean 4/Mathlib and Metamath) to trace axiom dependencies, find theorems resting on sorry or compiler trust, and analyze the impact of changes.

mcp

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