{"id":"io-github-zengineco-gonzalgo","name":"io.github.zengineco/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":[],"score":20,"score_status":"scored","sponsored":false,"health":{"status":"no_remote","latency_ms":null,"tool_count":null,"auth":null,"checked_at":null},"remote":false,"install_link":"https://toolfindr.dev/add?server=io.github.zengineco%2Fgonzalgo&ref=tool-finder","details_url":"https://toolfindr.dev/servers/io-github-zengineco-gonzalgo","score_breakdown":{"health":0,"authEase":9,"toolQuality":0,"maintenance":5,"adoption":0,"usage":0,"security":6,"penalties":0,"flags":[],"total":20,"pending":false,"version":"0.3","notes":["Local (stdio) package only: no hosted endpoint to check","GitHub signals are off for everyone: maintenance uses registry dates (half credit)"],"inputs":{"at":1792033873082,"health_status":"no_remote","health_latency_ms":null,"health_auth":null,"tool_count":null,"remotes":0,"packages":1,"repo":{"siblings":1,"canonical":true},"flags":[],"github":false}},"health_error":null,"repo_url":"https://github.com/zengineco/gonzalgo","website_url":"https://f-keys.com/gonzalgo/","version":"0.5.2","remotes":[]}