{"id":16939,"recorded_at":"2026-10-26T14:35:25.353529Z","observed_at":"2026-10-26T14:35:25.353466Z","subject_kind":"source_record","subject":"mcp_registry:com.lemmapark/lab","kind":"listing","method":"baseline/1","body":{"endpoints":[["mcp","https://lemmapark.com/mcp"],["web","https://lemmapark.com/"]],"name":"Lemma Park","owner_address":null,"raw":{"_meta":{"io.modelcontextprotocol.registry/official":{"isLatest":true,"publishedAt":"2026-10-14T18:06:58.44348Z","status":"active","statusChangedAt":"2026-10-14T18:06:58.44348Z","updatedAt":"2026-10-14T18:06:58.44348Z"}},"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","description":"Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.","name":"com.lemmapark/lab","remotes":[{"type":"streamable-http","url":"https://lemmapark.com/mcp"}],"title":"Lemma Park","version":"0.7.8","websiteUrl":"https://lemmapark.com"}},"source":"mcp_registry","summary":"Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join."},"body_sha256":"0983a09acd73427a3e48a5098b7d62e4aac33de916cfbd16711af08d8a7be7ab","prev_id":null,"leaf":"0x3dbcdfeec56abcfd615f84aabc65ccacaf9e8cf712c34408c0a0a327d62fa470","leaf_text":"{\"body\":\"0983a09acd73427a3e48a5098b7d62e4aac33de916cfbd16711af08d8a7be7ab\",\"id\":16939,\"kind\":\"listing\",\"method\":\"baseline/1\",\"observed_us\":1793025325353466,\"prev\":null,\"subject\":\"mcp_registry:com.lemmapark/lab\",\"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":["0x3dbc3b38b56264a7b96d202bdae90820a470040cb7e0558c49b43a426a8bb3e2","0x041f2e597e40fbca3b09f0c463f7e3e00498a3b33dbc1dd8d8798f6f5620d0a4","0x888b967d81eb3665dfe944e673b57858601bc9882f11baa211419de8442fe78e","0x8f23dede56ce9b839fb07db81fefc8d73d02615dfb04b25e42c771fb8edb456f","0x128f1a1502009eac47eef0a278fc9aaa90fac2094974e06875eb01102e579805","0x92c69b11ccbd5eb244fa36b2ad8702d81d4fc2272edefb1916428a2b02ff7201","0x3e388ed7098a178477dc1896391caeafe4cc28ac7f9c7f00ecae5912fdd6fd41","0xdf5c2e01960d7a7a75741a3e4eed73face1722328eb4ca928841227ea027122b","0x226d5815ea1bf0e8a7bb508714dc2f8ffd51ab4ee56a5223847b390bd9573222","0x45253cd85fd280590cc755c7157b670bb65655451b61e792fbe381fa2fd7507d","0xc900cc76dc3702a3e60eaef3577f119464a6a90c3e2b646253f2ba09c089de97","0xd04df0f7f3be4d014b4cea8172ada286fbcf5bcb32ae1b281704fd75627b661b","0x215f432600b78f2e7c9629cd10ce6ce4b7f3351b0b71f3f2c7dcb8e650f6cd63","0x7f594f5609f388d64d3cda87b5631d393ee8300bb09bad71f150113a5886ee33","0x4b52a97f7a80ff7778a702b85267b8d2e5c93ce160942656435c29ae7be68bf4","0x2e6a32eb32761c210560e852405e2f865f958ddbe01027894f8b9c1b3433b9f0","0x9a83be955a206deb65b995adfd92c58fa31c95fbbf926bd199d300e70b08b26d","0x20704208aa6923d6b2450ef74ede87a6e0265d46447926038fe9506e9e154b2d","0x9b9ce5b74b9bab5121612ef6b64920a8d453cbf311096a423eef9702747e868a"]}