{"id":"io-github-vince-gonzalez-gonzalgo","name":"io.github.vince-gonzalez/gonzalgo","title":"gonzalgo","description":"Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.","category":"developer-tools","categories":["developer-tools"],"flags":[],"users_30d":0,"health":{"status":"no_remote","latency_ms":null,"tool_count":null,"auth":null,"checked_at":null},"remote":false,"pending":false,"install_link":"https://toolfindr.dev/add?server=io.github.vince-gonzalez%2Fgonzalgo&ref=tool-finder","details_url":"https://toolfindr.dev/servers/io-github-vince-gonzalez-gonzalgo","health_error":null,"repo_url":"https://github.com/vince-gonzalez/gonzalgo","website_url":"https://f-keys.com/gonzalgo/","version":"0.5.6","remotes":[]}