{"slug":"gonzalgo-9acd415f","name":"gonzalgo","summary":"Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.","status":"live","indexable":true,"listed_since":"2026-10-25T17:52:47.897546Z","sources":[{"source":"mcp_registry","external_id":"io.github.zengineco/gonzalgo","owner_address":null,"seen_at":"2026-10-25T17:52:47.897546Z","removed_at":null}],"endpoints":[{"url":"https://f-keys.com/gonzalgo/","host":"f-keys.com","protocol":"web","state":"live","last_probe_at":"2026-10-26T21:27:41.890083Z","last_ok_at":"2026-10-26T21:27:41.890083Z","tools_count":null,"tools_changed_at":null,"uptime_24h":1.0,"uptime_30d":1.0}],"also_listed_as":[{"slug":"gonzalgo-8af6f8b4","name":"gonzalgo"}],"payment_options":[],"usage":null,"assessment":{"method":"2026.10.2","checks":[{"id":"answers","state":"pass","reason":"Answered a check 8 hours ago."},{"id":"owner","state":"fail","reason":"No one has proven control of its domain or of the wallet it is paid at."},{"id":"track_record","state":"fail","reason":"Listed for 1 days; 30 are needed."},{"id":"real_customers","state":"not_applicable","reason":"It does not sell over x402."},{"id":"clean_scan","state":"not_applicable","reason":"Not an MCP server."}],"passed":1,"applicable":3,"contradicted":false,"computed_at":"2026-10-27T05:58:36.197855Z"},"identity":{"endpoint_domains":["f-keys.com"],"proven_domains":[],"proven_wallets":[],"namesakes":[{"slug":"gonzalgo-8af6f8b4","name":"gonzalgo","proven_domain":null}],"namesake_count":1,"identity_checks":[],"wallet_attestations":[],"human_backings":[]},"replies":[],"customers":null,"scan":null,"notice":"Not affiliated with addrbook — claim or request removal."}