{"id":54587,"recorded_at":"2026-10-26T14:37:13.726072Z","observed_at":"2026-10-26T14:37:13.726040Z","subject_kind":"source_record","subject":"mcp_registry:io.github.vince-gonzalez/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-09-11T06:02:18.277417Z","status":"active","statusChangedAt":"2026-09-11T06:02:18.277417Z","updatedAt":"2026-09-11T06:02:18.277417Z"}},"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.vince-gonzalez/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.6"}],"repository":{"source":"github","url":"https://github.com/vince-gonzalez/gonzalgo"},"title":"gonzalgo","version":"0.5.6","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":"27cfc6e2a2efb5a74c31b389889a859bc856d78496ee855249de3207ef485257","prev_id":null,"leaf":"0xca3c7df57207b50ee8cc4b891010417a9006ba5b3162bbc13c79e9b38f730932","leaf_text":"{\"body\":\"27cfc6e2a2efb5a74c31b389889a859bc856d78496ee855249de3207ef485257\",\"id\":54587,\"kind\":\"listing\",\"method\":\"baseline/1\",\"observed_us\":1793025433726040,\"prev\":null,\"subject\":\"mcp_registry:io.github.vince-gonzalez/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":["0xca3c29b53977bc8cb645a8df9c19e9c4418c25713ef86dae0d54ca1b53ba0490","0x6ba263c39259912f05d43fbecae6f3849e04d51b61f2233cd7f7008605cb8662","0x98f13f2fa5863d8adbe5360dee7d12c15136e71f1a6e8602331294b9cd496ef0","0xf6e9075b8a3300fd52d1bec448392808aa53413d91cc67264c69e4a84cb99052","0x19349e2ef29aee7212fe2eab545d195ccd1a5631b58ba77ca5207431effeae53","0x6eaca5a075861d67d580a392fcbb21bb23e6f9b564bd47b4f73563b4700e7708","0xc989051e8f941e1599422868d91cd79acfd014cd45b72205bd8191d1c09f9334","0x1e0e089d8a207890eb46c3a595cd9a72e0ee76cf9c9f8de287ab94b774593e36","0x84c18545062b687138a04ec6d5fb8d6b69f1f2850e8516717a683b9a013fe369","0x4719c0a12991c8bf3ab50d032063f99f5636d69b18a7979b929637b7b4ffd483","0x60eabf7e1a3db5892c30621c19c096fd56eb4ad1f2ace810471d00503c868d2b","0x02a11c0460d1a42b6246e1c715f0c3098d82c39154a56e918e2c22b56ca2c978","0x985acd37cc044d5aa6ad959194da8e91c81045df83517891ed92f1763a9ab825","0x5b20d8aab05225a3497eadcce89d2e2a586a510fb31334793d3f46f88f0157c5","0xe94ca5b798e9899ad611e57835af42266e20f53f44977e487d81365e30972beb","0x703f95866af09c5e5d6ead7411e9a10f964a41a2aff64d4a55ff0053c023a023","0xd0651cb9bc8155eb52b5247d506e74b8a935057dc190ba52091702ac25ed3a40","0x9a9024edb5069d88a324facb310a5ce8e495214bbaa968f077bede437390194f","0x9b9ce5b74b9bab5121612ef6b64920a8d453cbf311096a423eef9702747e868a"]}