{"id":55600,"recorded_at":"2026-10-26T14:37:15.270769Z","observed_at":"2026-10-26T14:37:15.270725Z","subject_kind":"source_record","subject":"mcp_registry:io.github.zengineco/gonzalgo","kind":"listing","method":"baseline/1","body":{"endpoints":[["web","https://f-keys.com/gonzalgo/"]],"name":"gonzalgo","owner_address":null,"raw":{"_meta":{"io.modelcontextprotocol.registry/official":{"isLatest":true,"publishedAt":"2026-08-05T21:46:54.731806Z","status":"deprecated","statusChangedAt":"2026-09-11T06:02:40.154135Z","statusMessage":"Migrated to io.github.vince-gonzalez/gonzalgo","updatedAt":"2026-09-11T06:02:40.154135Z"}},"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","description":"Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.","name":"io.github.zengineco/gonzalgo","packages":[{"identifier":"gonzalgo","packageArguments":[{"description":"Starts the stdio server. Without it the binary runs the analysis CLI.","isRequired":true,"type":"positional","value":"mcp"}],"registryBaseUrl":"https://pypi.org","registryType":"pypi","runtimeArguments":[{"description":"The MCP server lives behind an optional dependency so the analysis tools stay dependency-light for CLI-only users.","isRequired":true,"name":"--from","type":"named","value":"gonzalgo[mcp]"}],"runtimeHint":"uvx","transport":{"type":"stdio"},"version":"0.5.2"}],"repository":{"source":"github","url":"https://github.com/zengineco/gonzalgo"},"title":"gonzalgo","version":"0.5.2","websiteUrl":"https://f-keys.com/gonzalgo/"}},"source":"mcp_registry","summary":"Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms."},"body_sha256":"bac0e894624a4338df05c6f5478d1f9b927a99b8a1b1cf3cf92c7c709913d7e9","prev_id":null,"leaf":"0x43551ec558a18d178e713aee44b813b44ad696d4e4c226d71498e652b91b19c6","leaf_text":"{\"body\":\"bac0e894624a4338df05c6f5478d1f9b927a99b8a1b1cf3cf92c7c709913d7e9\",\"id\":55600,\"kind\":\"listing\",\"method\":\"baseline/1\",\"observed_us\":1793025435270725,\"prev\":null,\"subject\":\"mcp_registry:io.github.zengineco/gonzalgo\",\"subject_kind\":\"source_record\"}","day":{"day":"2026-10-26","leaves":296695,"root":"0xf43e8dcc3d451a4788b26be904c55e8c4c0fa75c9666796c51db38d37e2c0df8","chained":"0x702d5ac508f08b0d1accf36af25822d8e5660367494edd17a642fb61e158a57a","anchor_chain":"eip155:5042002","anchor_tx":"0x495162f8936e19f0039918feebe6c307f327cd6bf8c37219620b1970041fa9ae","anchor_block":69251483},"proof":["0x435546e5ac33ff44714d39d6873464c1e167cf66d1074814b5e89383647f6c6f","0x723881ba47b0b39561d2db16d4772fab9343d0855f93f8a48024edd2c135c767","0x1fc8b9ca6756ec0fe099eb48e9ef626838d8a04a52e169e50d996e73140003d3","0x026f60717a2055ccdc77e9f2d428cdc397fa59e20dd050b47e3c6de60dfc8db6","0xfa70e4e32e1b2a451816039880de263cf615bba2e90b948d25661bdd1548c990","0x58aa136022b5277aff975a82a97251479b5840d8c4d3941a1ed4a7e979dca74a","0xe8e5c859c548989d9a01b82785776bb05457f06f9982b07cc880bb4ac9f47a72","0xbe015026e1c568698a8dc09644f76e50a2abada13d1183dd1a7308f0873d74bf","0xd64757f1197ae77307b4edaafc7842ac14514cdd3e1a40625e4f840219086110","0xe51eded3c6d987da657485a61b7c2d0526ae91edd6ff00bcd8c57a597b1e7ae1","0x5209b44231d259fd8508722a1ae64f1b73c7b7f19b456b1ecd950d5b281c35b6","0x58f4330f9ac32da273a2a76d85bc0768d037638cddbd3d1f09d9b64094bfd942","0xd406739acce2ba016f8d49081b15f266a4ea4a0b0fc5ef171c89c8fd2dda4d80","0x8b27a4c21bf4ba962fd008c8f4300bc6953764a5032b9ab0cfe696b318c45326","0x4b52a97f7a80ff7778a702b85267b8d2e5c93ce160942656435c29ae7be68bf4","0x2e6a32eb32761c210560e852405e2f865f958ddbe01027894f8b9c1b3433b9f0","0x9a83be955a206deb65b995adfd92c58fa31c95fbbf926bd199d300e70b08b26d","0x20704208aa6923d6b2450ef74ede87a6e0265d46447926038fe9506e9e154b2d","0x9b9ce5b74b9bab5121612ef6b64920a8d453cbf311096a423eef9702747e868a"]}